System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities
| Data(s) |
2002
|
|---|---|
| Resumo |
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. |
| Formato |
application/postscript |
| Identificador |
http://calcium.dcs.kcl.ac.uk/884/1/sad-iis02.ps 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. |
| Publicador |
Physica-Verlag |
| Relação |
http://calcium.dcs.kcl.ac.uk/884/ |
| Tipo |
Conference or Workshop Item PeerReviewed |
