bib.howest.be Zoekresultaten

U zocht naar: Auteur Siekmann, Jörg H. Taal Engels

1 - 8 van 8

1. Knowledge Science, Engineering and Management

Auteur:: Zhang, Zili; Siekmann, Jörg; Siekmann, Jörg H.
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

2. Computational Logic

Auteur:: Gabbay, Dov M.; Siekmann, Jörg H.; Woods, John
Uitgever:: North-Holland 2014
Type:: e-book

3. Mechanizing Mathematical Reasoning

Auteur:: Goos, Gerhard; Hartmanis, Juris; Hutter, Dieter; Siekmann, Jörg H.; Stephan, Werner; van Leeuwen, Jan
Uitgever:: Springer Berlin / Heidelberg 2005
Type:: e-book

4. Cognitive Systems

Auteur:: Lu, Ruqian; Siekmann, Jörg; Siekmann, Jörg H.; Ullrich, Carsten; Kruijff, Geert-Jan M.; Ullrich, Carsten A.; Wyatt, Jeremy
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

5. Learning Theory

Auteur:: Bshouty, Nader H.; Gentile, Claudio; Siekmann, Jörg
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

6. Environments for Multi-Agent Systems III

Auteur:: Weyns, Danny; Michel, Fabien; Parunak, H. Van Dyke; Siekmann, Jörg; van dyke Parunak, H.
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

7. Verification of Object-Oriented Software. The KeY Approach

Auteur:: Beckert, Bernhard; Carbonell, Jaime G.; Hähnle, Reiner; Schmitt, Peter H.; Siekmann, Jörg; Leino, Matti; Rustan, K.
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

8. Programming Multi-Agent Systems

Auteur:: Bordini, Rafael H.; Dastani, Mehdi; Dix, Jürgen; Seghrouchni, Amal El Fallah; Siekmann, Jörg; Dastani, M.; Dix, J.; El Fallah Seghrouchni, A.; El Fallah Seghrouchni, Amal
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book