Reasoning About Knowledge (A Bradford Book)
by Ronald Fagin,Joseph Y Halpern,Yoram Moses,Moshe Y Vardi
ISBN 13: 9780262562003
Format: Illustrated (544 pages) Publisher: MIT Press Published: 06 Feb 2004
Save for later
Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies: 5945 (Lecture Notes in Computer Science)
by Rainer Breitling,Corrado Priami,David Gilbert,Monika Heiner,Adelinde M. Uhrmacher
ISBN 13: 9783642117114
Format: Illustrated (280 pages) Publisher: Springer Published: 18 Feb 2010
Multi-Robot Systems: From Swarms to Intelligent Automata, Volume II: From Swarms to Intelligent Automata v. 2
by
ISBN 13: 9781402011856
Format: Hardcover (324 pages) Publisher: Springer Published: 31 Mar 2003
Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)
ISBN 13: 9783540646082
Format: Paperback (552 pages) Publisher: Springer Published: 03 Jun 1998
Principles and Practice of Constraint Programming - CP97: Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 (Lecture Notes in Computer Science)
ISBN 13: 9783540637530
Format: Paperback (563 pages) Publisher: Springer Published: 15 Oct 1997
Constraint Handling Rules: Current Research Topics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5388
by Tom Schrijvers, Thom Frühwirth
ISBN 13: 9783540922421
Format: Paperback (245 pages) Publisher: Springer Published: 18 Dec 2008
Text, Speech and Dialogue: 11th International Conference, TSD 2008, Brno, Czech Republic, September 8-12, 2008, Proceedings: 5246 (Lecture Notes in Computer Science)
by Petr Sojka, Ale Horak, Ivan Kopecek, Pala Karel
ISBN 13: 9783540873907
Format: Paperback (667 pages) Publisher: Springer Published: 04 Sep 2008
Algorithmic Decision Theory: First International Conference, A.D.T. 2009, Venice, Italy, October 2009, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5783
by Francesca Rossi
ISBN 13: 9783642044274
Format: Paperback (476 pages) Publisher: Springer Published: 05 Oct 2009
Biomedical Engineering Systems and Technologies: International Joint Conference, BIOSTEC 2008 Funchal, Madeira, Portugal, January 28-31, 2008, Revised ... in Computer and Information Science)
by Ana Fred, Joaquim Filipe, Hugo Gamboa
ISBN 13: 9783540922186
Format: Paperback (542 pages) Publisher: Springer Published: 18 Dec 2008
Artificial Intelligence and Scientific Method
by Donald Gillies
ISBN 13: 9780198751595
Format: Illustrated (192 pages) Publisher: Oxford University Press, U.S.A. Published: 05 Sep 1996
Algorithmic Learning Theory: 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009, Proceedings (Lecture Notes in Computer ... Notes in Artificial Intelligence): 5809
by Ricard Gavalda,Gabor Lugosi,Thomas Zeugmann,Sandra Zilles
ISBN 13: 9783642044137
Format: Paperback (412 pages) Publisher: Springer Published: 21 Sep 2009
Applications and Innovations in Intelligent Systems Viii: Proceedings of ES2000, the Twentieth SGES International Conference on Knowledge Based ... December 2000 (Applications & Innovations S.)
by Ann Macintosh,Mike Moulton,Frans Coenen
ISBN 13: 9781852334024
Format: Illustrated (208 pages) Publisher: Springer Published: 10 Jan 2001