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.

Postscript - Repository staff only - Requires a viewer, such as GSview
105Kb

Abstract

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)
Subjects:	UNSPECIFIED
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

Accessibility | Terms and Conditions | Last Modified 01 November 2007