7 resultados para Linguistic input
em Department of Computer Science E-Repository - King's College London, Strand, London
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.
