Zoeken

U zocht naar: Auteur Andrei Voronkov Filter Auteur: Andrei Voronkov weghalen
| 11 - 16 van 16 | Volgende »
Aantal zoekresultaten per pagina

Zoekresultaten

11. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
12. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
Cervesato, Iliano; Siekmann, Jörg; Veith, Helmut; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2008
Type:
e-book
13. Perspectives of Systems Informatics
thumbnail
Full text!
Auteur:
Pnueli, Amir; Kanade, Takeo; Virbitskaite, Irina; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
14. Perspectives of Systems Informatics
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Virbitskaite, Irina; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
15. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
Clarke, Edmund M.; Kanade, Takeo; Voronkov, Andrei; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2010
Type:
e-book
16. Computer Science – Theory and Applications
thumbnail
Full text!
Auteur:
Diekert, Volker; Kanade, Takeo; Volkov, Mikhail V.; Voronkov, Andrei; Kittler, Josef; Volkov, Mikhail
Uitgever:
Springer Berlin Heidelberg 2007
Type:
e-book