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

Similar Items