bib.howest.be Zoekresultaten

U zocht naar: Auteur Voronkov

« Vorige | 11 - 19 van 19 | Volgende »

11. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Baader, Franz; Kanade, Takeo; Voronkov, AndreÄ; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

12. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Kanade, Takeo; Sutcliffe, Geoff; Voronkov, AndreÄ; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

13. Logic for Programming, Artificial Intelligence, and Reasoning

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

14. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

15. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Cervesato, Iliano; Siekmann, Jörg; Veith, Helmut; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

16. Perspectives of Systems Informatics

Auteur:: Pnueli, Amir; Kanade, Takeo; Virbitskaite, Irina; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

17. Perspectives of Systems Informatics

Auteur:: Hutchison, David; Kanade, Takeo; Virbitskaite, Irina; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

18. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Clarke, Edmund M.; Kanade, Takeo; Voronkov, Andrei; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

19. Computer Science – Theory and Applications

Auteur:: Diekert, Volker; Kanade, Takeo; Volkov, Mikhail V.; Voronkov, Andrei; Kittler, Josef; Volkov, Mikhail
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book