Yazar
Vladimir Lifschitz
9 cilt bulundu.
Cilt sonuçları
Logic programming
Vladimir Lifschitz · Springer London, Limited
480 sayfa · 2004
Logic programming / Congresses / Open Source / COMPUTERS / Programming
Handbook of knowledge representation
Vladimir Lifschitz, Bruce Porter · Elsevier Science & Technology Books
1034 sayfa · 2007
Knowledge representation (Information theory) / Représentation des connaissances / Handbooks, manuals
Artificial intelligence and mathematical theory of computation
McCarthy, John, Vladimir Lifschitz · Academic Press
475 sayfa · 1991
Numerical calculations / Computers / Computer programming / Artificial intelligence
Mechanical theorem proving in the USSR
Vladimir Lifschitz · Delphic Associates
103 sayfa · 1986
Automatic theorem proving / Electronic digital computers