Search

You searched for: Auteur Voronkov, Andrei Remove constraint Auteur: Voronkov, Andrei
« Previous | 1 - 10 of 16 |
Number of results to display per page

Search Results

1. Perspectives of System Informatics
thumbnail
Full text!
Author:
Petrenko; Andrei Voronkov; Voronkov, Andrei
Publisher:
Springer International Publishing 2018
Format:
e-book
2. Perspectives of System Informatics
thumbnail
Full text!
Author:
Manuel Mazzara, Andrei Voronkov; Voronkov, Andrei
Publisher:
Springer International Publishing 2016
Format:
e-book
3. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei; Middeldorp, Aart; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2013
Format:
e-book
4. Perspectives of Systems Informatics
thumbnail
Full text!
Author:
Virbitskaite, Irina; Voronkov, A.; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
5. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
Dershowitz, Nachum; Siekmann, Jörg; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
6. Perspectives of System Informatics
thumbnail
Full text!
Author:
Bjørner; Virbitskaite, Irina; Voronkov, Andrei
Publisher:
Springer International Publishing 2019
Format:
e-book
7. Rewriting Techniques and Applications
thumbnail
Full text!
Author:
Voronkov, Andrei; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book
8. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
Fermüller, Christian G.; Kanade, Takeo; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
9. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
Davis; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei
Publisher:
Springer Berlin Heidelberg 2015
Format:
e-book
10. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Author:
Hermann, Miki; Kanade, Takeo; Voronkov, Andrei; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book