bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Artificial intelligence

« Vorige | 321 - 330 van 1,208 | Volgende »

321. Automated Reasoning

Auteur:: Giesl, Jürgen; Hähnle, Reiner; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

322. Automated Reasoning

Auteur:: Armando, Alessandro; Baumgartner, Peter; Dowek, Gilles; Siekmann, Jörg
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

323. Automated Reasoning and Mathematics

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

324. Automated Reasoning with Analytic Tableaux and Related Methods

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

325. Automated Reasoning with Analytic Tableaux and Related Methods

Auteur:: Giese, Martin; Kanade, Takeo; Waaler, Arild; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2009
Type:: e-book

326. Automated Reasoning with Analytic Tableaux and Related Methods

Auteur:: Brünnler, Kai; Kanade, Takeo; Metcalfe, George
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

327. Automated Reasoning with Analytic Tableaux and Related Methods

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

328. Autonomous and Intelligent Systems

Auteur:: Kamel, Mohamed; Gueaieb, Wail; Kanade, Takeo; Karray, Fakhri; Khamis, Alaa
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

329. Autonomous and Intelligent Systems

Auteur:: Hutchison, David; Kanade, Takeo; Hagras, Hani; Karray, Fakhri
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

330. Autonomous Intelligent Systems: Agents and Data Mining

Auteur:: Gorodetski, Vladimir I.; Kanade, Takeo; Liu, Jiming; Skormin, Victor A.
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book