Ot logiki k teorii poiska vyvoda

От логики к теории поиска вывода
Saved in:  
Bibliographic Details
Main Author: Katrečko, Sergej Leonidovič ca. 20./21. Jh. (Author)
Format: Print Article
Language:Russian
Check availability: HBZ Gateway
Fernleihe:Fernleihe für die Fachinformationsdienste
Published: IFRAN 1999
In: Smirnovskie čtenija
Year: 1999, Pages: 45-46