Languages
Subject
Format
Availabity
Authors

Search result

Bob McKay, Slaney, John Slaney - AI 2002: Advances in Artificial Intelligence
Bob McKay, Slaney, John Slaney AI 2002: Advances in Artificial Intelligence English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Alberto Pettorossi - Logic Based Program Synthesis and Transformation
Alberto Pettorossi Logic Based Program Synthesis and Transformation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Belaid Benhamou, Jacques Calmet, Olga Caprotti, Laurent Henocque, Volker Sorge - Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Belaid Benhamou, Jacques Calmet, Olga Caprotti, Laurent Henocque, Volker Sorge Artificial Intelligence, Automated Reasoning, and Symbolic Computation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Susan Craw, Alun Preece - Advances in Case-Based Reasoning
Susan Craw, Alun Preece Advances in Case-Based Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Jyrki Kivinen, Robert H. Sloan - Computational Learning Theory
Jyrki Kivinen, Robert H. Sloan Computational Learning Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Uwe Egly, Christian G. Fernmüller - Automated Reasoning with Analytic Tableaux and Related Methods
Uwe Egly, Christian G. Fernmüller Automated Reasoning with Analytic Tableaux and Related Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
E Brinksma, Ed Brinksma, G Larsen, G Larsen, Kim G. Larsen - Computer Aided Verification
E Brinksma, Ed Brinksma, G Larsen, G Larsen, Kim G. Larsen Computer Aided Verification English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
J. N. Oliveira, Jose N. Oliveira, José Nuno Oliveira, P. Zave, Pamela Zave - FME 2001: Formal Methods for Increasing Software Productivity
J. N. Oliveira, Jose N. Oliveira, José Nuno Oliveira, P. Zave, Pamela Zave FME 2001: Formal Methods for Increasing Software Productivity English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young - Modeling and Using Context
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young Modeling and Using Context English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
R. Küsters, Ralf Küsters - Non-Standard Inferences in Description Logics
R. Küsters, Ralf Küsters Non-Standard Inferences in Description Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Birger Andersson, Maria Bergholtz, P. Johannesson, Paul Johannesson - Natural Language Processing and Information Systems
Birger Andersson, Maria Bergholtz, P. Johannesson, Paul Johannesson Natural Language Processing and Information Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
T. Nielsen, Thomas D. Nielsen, N. Zhang, Nevin L. Zhang - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
T. Nielsen, Thomas D. Nielsen, N. Zhang, Nevin L. Zhang Symbolic and Quantitative Approaches to Reasoning with Uncertainty English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Reinhard Wilhelm, Reinhard Wilhelm - Compiler Construction
Reinhard Wilhelm, Reinhard Wilhelm Compiler Construction English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Moshe Vardi, Moshe Y. Vardi, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Moshe Vardi, Moshe Y. Vardi, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Toby Walsh - Principles and Practice of Constraint Programming - CP 2001
Toby Walsh Principles and Practice of Constraint Programming - CP 2001 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
J Mamede, Nuno J. Mamede, Elisabete Ranchod - Advances in Natural Language Processing
J Mamede, Nuno J. Mamede, Elisabete Ranchod Advances in Natural Language Processing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Robert C. Holte, Sven Koenig - Abstraction, Reformulation, and Approximation
Robert C. Holte, Sven Koenig Abstraction, Reformulation, and Approximation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Julian Bradfield - Computer Science Logic
Julian Bradfield Computer Science Logic English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Moonis Ali, Tim Hendtlass - Developments in Applied Artificial Intelligence
Moonis Ali, Tim Hendtlass Developments in Applied Artificial Intelligence English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Alexander Gelbukh - Computational Linguistics and Intelligent Text Processing
Alexander Gelbukh Computational Linguistics and Intelligent Text Processing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks