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
ISBN 13: 9780306462924
Format: Hardcover (360 pages) Publisher: Springer Published: 31 Oct 1999
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
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
Connectionism, Concepts, and Folk Psychology: The Legacy of Alan Turing, Volume 2: Connectionism, Concepts and Folk Psychology Vol 2 (Mind Association Occasional Series)
ISBN 13: 9780198235941
Format: Hardcover (296 pages) Publisher: Clarendon Press Published: 28 Nov 1996
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
Communication System Design Using DSP Algorithms: With Laboratory Experiments for the TMS320C6713(TM) DSK (Information Technology: Transmission, Processing and Storage)
by Steven A. Tretter
ISBN 13: 9780387748856
Format: Spiral-bound (348 pages) Publisher: Springer Published: 24 Jan 2008
Managing and Mining Uncertain Data: 35 (Advances in Database Systems)
ISBN 13: 9780387096896
Format: Hardcover (494 pages) Publisher: Springer Published: 13 Mar 2009
Computer Vision Systems: 7th International Conference on Computer Vision Systems, ICVS 2009 Liège, Belgium, October 13-15, 2009, Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642046667
Format: Paperback (456 pages) Publisher: Springer Published: 29 Sep 2009
Transactions on Edutainment III (Lecture Notes in Computer Science / Transactions on Edutainment)
ISBN 13: 9783642112447
Format: Paperback (275 pages) Publisher: Springer Published: 20 Jan 2010
Virtual and Mixed Reality: Third International Conference, VMR 2009, Held as Part of HCI International 2009, San Diego, CA USA, July, 19-24, 2009, ... Applications, incl. Internet/Web, and HCI)
ISBN 13: 9783642027703
Format: Paperback (649 pages) Publisher: Springer Published: 30 Jun 2009
The Calculus of Computation: Decision Procedures with Applications to Verification
by Aaron R. Bradley,Zohar Manna
ISBN 13: 9783540741121
Format: Hardcover (366 pages) Publisher: Springer Published: 03 Sep 2007