Yazar
voronkov
29 cilt bulundu.
Andrei Voronkov · Springer Berlin Heidelberg
456 sayfa · 2013
Mathematical Logic and Formal Languages / Computer Imaging, Vision, Pattern Recognition and Graphics / Programming Techniques / Logic design / Computer vision
Andrei Voronkov · Elsevier Science & Technology Books
1658 sayfa · 2001
Artificial intelligence / Knowledge representation (information theory) / Deductive databases / Logic programming / Functional programming (computer science)
Moshe Y. Vardi, Andrei Voronkov · Springer London, Limited
437 sayfa · 2003
Logic programming / Congresses / Automatic theorem proving / Computer science / Software engineering
Andrei Voronkov · Springer
534 sayfa · 2002
Congresses / Symbolic and mathematical Logic / Automatic theorem proving / Logic, symbolic and mathematical
Andrei Voronkov · Springer London, Limited
614 sayfa · 2006
Logic programming / Congresses / Artificial intelligence / Automatic theorem proving
S. B. Voronkov · Chess World
394 sayfa · 1994
Chess players / Tournaments / Chess / Collections of games
S. B. Voronkov · E`lk i Rubi / Limited Liability Company Elk & Ruby Publishing House
Sayfa sayısı yok · 2022
Recreation
V. Voronkov · T︠S︡entr nezavisimykh sot︠s︡iologicheskikh issledovaniĭ
223 sayfa · 1997
Social conditions / Post-communism / Sociology / Congresses / Biographical methods
Konstantin Voronkov · ĖKSMO
222 sayfa · 2012
Politics and government / Politicians / Lawyers / Biography / Journalism. The periodical press
S. Voronkov · Izd. dom "Astrakhanskiĭ universitet"
193 sayfa · 2005
Causation / Time / Philosophy / Russian Philosophy