Buy Used and New Algorithms Books

Computer Aided Verification: 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540646082

Format: Paperback (552 pages)
Publisher: Springer
Published: 03 Jun 1998

Save for later

Principles and Practice of Constraint Programming - CP97: Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 (Lecture Notes in Computer Science)

by

ISBN 13: 9783540637530

Format: Paperback (563 pages)
Publisher: Springer
Published: 15 Oct 1997

Save for later

Model-Based Reasoning in Scientific Discovery: Proceedings of MBR, '98, Held December 17-19, 1998, in Pavia, Italy

by

ISBN 13: 9780306462924

Format: Hardcover (360 pages)
Publisher: Springer
Published: 31 Oct 1999

Save for later

Artificial Intelligence and Scientific Method

by Donald Gillies

ISBN 13: 9780198751588

Format: Hardcover (190 pages)
Publisher: OUP Oxford
Published: 05 Sep 1996
Other Format: Illustrated

Save for later

Conditionals: From Philosophy to Computer Science (Studies in Logic and Computation)

by G. Crocco,Luis Fariñas del Cerro,A. Herzig

ISBN 13: 9780198538615

Format: Hardcover (376 pages)
Publisher: Clarendon Press
Published: 30 Nov 1995

Save for later

Connectionism, Concepts, and Folk Psychology: The Legacy of Alan Turing, Volume 2: Connectionism, Concepts and Folk Psychology Vol 2 (Mind Association Occasional Series)

by

ISBN 13: 9780198235941

Format: Hardcover (296 pages)
Publisher: Clarendon Press
Published: 28 Nov 1996

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning: Nonmonotoaic Reasoning and Uncertain Reasoning Vol 3

by Dov M. Gabbay,C. J. Hogger,J. A. Robinson

ISBN 13: 9780198537472

Format: Hardcover (552 pages)
Publisher: Clarendon Press
Published: 17 Mar 1994

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies: Deduction Methodologies Vol 2

by Dov M. Gabbay,C. J. Hogger,J. A. Robinson

ISBN 13: 9780198537465

Format: Hardcover (528 pages)
Publisher: Clarendon Press
Published: 17 Mar 1994

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations: Logic Foundations Vol 1

by Dov M. Gabbay,C. J. Hogger,J. A. Robinson

ISBN 13: 9780198537458

Format: Hardcover (536 pages)
Publisher: Clarendon Press
Published: 24 Jun 1993

Save for later

Modelling the Mind

by

ISBN 13: 9780198249733

Format: Hardcover (224 pages)
Publisher: Clarendon Press
Published: 23 Aug 1990

Save for later

Passionate Engines: What Emotions Reveal about the Mind and Artificial Intelligence

by Craig DeLancey

ISBN 13: 9780195142716

Format: Hardcover (272 pages)
Publisher: OUP USA
Published: 10 Jan 2002

Save for later

Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides)

by Dov M Gabbay,M. Finger,M. Reynolds

ISBN 13: 9780198537687

Format: Hardcover (597 pages)
Publisher: OUP Oxford
Published: 30 Mar 2000

Save for later