|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities
Lyaletski, Alexander and Verchinine, Konstantine and Degtyarev, Anatoli and Paskevich, Andrey (2002) System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities. In: Proceedings of the IIS'2002 Symposium on Intelligent Information Systems.
In this paper a state of the art of a system of automated deduction called SAD is described . An architecture of SAD corresponds well to a modern vision of the Evidence Algorithm programme, initiated by Academician V.Glushkov.
Repository Staff Only: item control page