A Proof Procedure Based on Recomputation-Free Lemmatization

Bibliographic Details
Main Authors:	Azevedo, P. J. (Author), Sergot, M. J. (Author)
Format:	Article
Language:	Slovak English
Subjects:	bázy dát deduktívne procedúry dôkazové lematizácia články z novín a časopisov

Description
Physical Description:	Fotogr. 2, obr. 2, lit. 14 zázn. v angl.
ISSN:	0232-0274

Similar Items