bib.howest.be Zoekresultaten

U zocht naar: Type e-book

« Vorige | 16,471 - 16,480 van 173,163 | Volgende »

16471. Automated Reasoning

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

16472. Automated Reasoning

Auteur:: StÃ©phane Demri, Deepak Kapur, Christoph Weidenbach; Demri, Stéphane; Kapur, Deepak; Weidenbach, Christoph
Uitgever:: Springer International Publishing 2014
Type:: e-book

16473. Automated Reasoning

Auteur:: Galmiche; Roberto Sebastiani; Stephan Schulz; Schulz, Stephan; Sebastiani, Roberto
Uitgever:: Springer International Publishing 2018
Type:: e-book

16474. Automated Reasoning

Auteur:: Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk
Uitgever:: Springer International Publishing 2022
Type:: e-book

16475. Automated Reasoning and Mathematics

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

16476. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Auteur:: Armando, Alessandro; Kanade, Takeo; Lowe, Gavin; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

16477. Automated Reasoning for Systems Biology and Medicine

Auteur:: Liò, Pietro; Zuliani, Paolo
Uitgever:: Springer International Publishing 2019
Type:: e-book

16478. Automated Reasoning with Analytic Tableaux and Related Methods

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

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

16480. Automated Reasoning with Analytic Tableaux and Related Methods

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