Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

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.

[img]Postscript - Repository staff only - Requires a viewer, such as GSview


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.

Item Type:Conference or Workshop Item (Paper)
ID Code:884
Deposited By:Dr Anatoli Degtyarev
Deposited On:07 Nov 2007 16:09
Last Modified:07 Nov 2007 16:09

Repository Staff Only: item control page