bib.howest.be Zoekresultaten

U zocht naar: Auteur Andrei Voronkov Type e-book

« Vorige | 1 - 10 van 16 | Volgende »

1. Perspectives of System Informatics

Auteur:: Petrenko; Andrei Voronkov; Voronkov, Andrei
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Perspectives of System Informatics

Auteur:: Manuel Mazzara, Andrei Voronkov; Voronkov, Andrei
Uitgever:: Springer International Publishing 2016
Type:: e-book

3. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei; Middeldorp, Aart; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

4. Perspectives of Systems Informatics

Auteur:: Virbitskaite, Irina; Voronkov, A.; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

5. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Dershowitz, Nachum; Siekmann, Jörg; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

6. Perspectives of System Informatics

Auteur:: BjÃ¸rner; Virbitskaite, Irina; Voronkov, Andrei
Uitgever:: Springer International Publishing 2019
Type:: e-book

7. Rewriting Techniques and Applications

Auteur:: Voronkov, Andrei; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

8. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Fermüller, Christian G.; Kanade, Takeo; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

9. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Davis; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2015
Type:: e-book

10. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Hermann, Miki; Kanade, Takeo; Voronkov, Andrei; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book