bib.howest.be Zoekresultaten

U zocht naar: Onderwerp Information Technology Artificial Intelligence

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

311. Automated Reasoning

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

312. Automated Reasoning

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

313. Automated Reasoning

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

314. Automated Reasoning and Mathematics

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

315. Automated Reasoning with Analytic Tableaux and Related Methods

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

316. 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

317. Automated Reasoning with Analytic Tableaux and Related Methods

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

318. Automated Reasoning with Analytic Tableaux and Related Methods

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

319. Autonomous and Intelligent Systems

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

320. Autonomous and Intelligent Systems

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