Yazar
Andrei Voronkov
23 cilt bulundu.
Andrei Voronkov · Imprint: Springer
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
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
Andrei Voronkov · Springer
Sayfa sayısı yok · 2012
Logic programming / Artificial intelligence / Automatic theorem proving / Reasoning
Andrei Voronkov, Irina Virbitskaite · Springer London, Limited
456 sayfa · 2007
Systems engineering / Congresses / Computer programming / Computer science
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov · Springer
351 sayfa · 2015
Computer science / Software engineering / Programming languages (electronic computers) / Logic, symbolic and mathematical / Systems engineering
Ken McMillan, Aart Middeldorp, Andrei Voronkov · Springer London, Limited
732 sayfa · 2012
Logic programming / Artificial intelligence / Automatic theorem proving / Reasoning / Artificial Intelligence (incl. Robotics)
Matthias Baaz, Andrei Voronkov · Springer
465 sayfa · 2002
Logic programming / Congresses / Artificial intelligence / Automatic theorem proving / Computer science
Robinson, Alan, Andrei Voronkov · North Holland
996 sayfa · 2001
Artificial intelligence / Knowledge representation (information theory) / Logic programming / Functional programming (computer science) / Computer science
Harald Ganzinger, David McAllester, Andrei Voronkov · Springer
397 sayfa · 1999
Logic programming / Congresses / Automatic theorem proving / Computer science / Logic design
J. Robinson, Alan Robinson, Andrei Voronkov · The MIT Press
2150 sayfa · 2001
Automatic theorem proving / Qualitative reasoning / Qa76.9.a96 h35 2001 / 511.3 / Computer science
Volker Diekert, Mikhail Volkov, Andrei Voronkov · Springer London, Limited
Sayfa sayısı yok · 2007
Kategori yok