bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Artificial intelligence

« Vorige | 311 - 320 van 1,208 | Volgende »

311. Automated Configuration Problem Solving

Auteur:: Petrie, Charles J.
Uitgever:: Springer New York 2012
Type:: e-book

312. Automated Deduction – CADE-20

Auteur:: Kanade, Takeo; Nieuwenhuis, Robert; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

313. Automated Deduction – CADE-21

Auteur:: Pfenning, Frank; Siekmann, Jörg
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

314. Automated Deduction – CADE-23

Auteur:: Bjørner, Nikolaj; Kanade, Takeo; Sofronie-Stokkermans, Viorica
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

315. Automated Deduction – CADE-24

Auteur:: Hutchison, David; Kanade, Takeo; Kittler, Josef; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2013
Type:: e-book

316. Automated Deduction in Geometry

Auteur:: Hong, Hoon; Kanade, Takeo; Wang, Dongming; Kittler, Josef
Uitgever:: Springer Berlin / Heidelberg 2006
Type:: e-book

317. Automated Deduction in Geometry

Auteur:: Sturm, Thomas; Kanade, Takeo; Zengler, Christoph; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

318. Automated Deduction in Geometry

Auteur:: Schreck; Narboux, Julien; Richter-Gebert, Jürgen
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

319. Automated Deduction in Geometry

Auteur:: Botana, Francisco; Recio, Tomas; Recio, Tómas; Tomas, Recio
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

320. Automated Reasoning

Auteur:: Furbach, Ulrich; Kanade, Takeo; Shankar, N.; Shankar, Natarajan; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book