1- 20 of 124 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
QUICK ADD
Logic in Computer Science:…
by Michael Huth, Mark Ryan
Paperback $73.00
Title: Digital Design and Computer Architecture / Edition 2, Author: David Harris
QUICK ADD
Digital Design and Computer…
by David Harris, Sarah Harris
Paperback from $61.97 $89.95 Current price is $61.97, Original price is $89.95.
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
QUICK ADD
Artificial Intelligence in…
by Svetlana N. Yanushkevich
#766 in Series
Paperback $169.99
Title: Refinement Calculus: A Systematic Introduction / Edition 1, Author: Ralph-Johan Back
QUICK ADD
Refinement Calculus: A…
by Ralph-Johan Back, Joakim Wright
Explore Series
Paperback $109.99
Title: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings / Edition 1, Author: Maurizio Proietti
QUICK ADD
Logic Program Synthesis and…
by Maurizio Proietti
#1048 in Series
Paperback $54.99
Title: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, / Edition 1, Author: Dietmar Seipel
QUICK ADD
Applications of Declarative…
by Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein
#3392 in Series
Paperback $54.99
Title: Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings / Edition 1, Author: Chitta Baral
QUICK ADD
Logic Programming and…
by Chitta Baral, Gerhard Brewka, John Schlipf
#4483 in Series
Paperback $54.99
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
QUICK ADD
Types for Proofs and Programs:…
by Eduardo Gimenez, Christine Paulin-Mohring
#1512 in Series
Paperback $54.99
Title: Rapid Prototyping of Digital Systems: Quartus® II Edition / Edition 1, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Tyson S. Hall, Michael D. Furman
Paperback $54.99
Title: An Inductive Logic Programming Approach to Statistical Relational Learning: Volume 148 Frontiers in Artificial Intelligence and Applications, Author: K. Kersting
QUICK ADD
An Inductive Logic Programming…
by K. Kersting
#148 in Series
Paperback $168.00
Title: Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / Edition 1, Author: João Leite
QUICK ADD
Computational Logic in…
by João Leite
#3259 in Series
Paperback $54.99
Title: Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / Edition 1, Author: Maurizio Gabbrielli
QUICK ADD
Logic Programming: 21st…
by Maurizio Gabbrielli, Gopal Gupta
#3668 in Series
Paperback $54.99
Title: Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1, Author: Louis M. Pereira
QUICK ADD
Non-Monotonic Extensions of…
by Louis M. Pereira, Teodor C. Przymusinski
#927 in Series
Paperback $54.99
Title: Logical Effort: Designing Fast CMOS Circuits / Edition 1, Author: Ivan Sutherland
QUICK ADD
Logical Effort: Designing Fast…
by Ivan Sutherland, Robert F. Sproull, David Harris
Explore Series
Paperback $81.95
Title: Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings / Edition 1, Author: Maria Garcia Banda
QUICK ADD
Logic Programming: 24th…
by Maria Garcia Banda, Enrico Pontelli
#5366 in Series
Paperback $109.99
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
QUICK ADD
Principles and Structures of…
by Hideharu Amano
Paperback $219.99
Title: Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings / Edition 1, Author: Gerhard Brewka
QUICK ADD
Nonmonotonic and Inductive…
by Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt
#659 in Series
Paperback $54.99
Title: Recent Advances in Constraints: 12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / Edition 1, Author: François Fages
QUICK ADD
Recent Advances in Constraints…
by François Fages, Francesca Rossi, Sylvain Soliman
#5129 in Series
Paperback $54.99
Title: Non-Monotonic Extensions of Logic Programming: Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / Edition 1, Author: Juergen Dix
QUICK ADD
Non-Monotonic Extensions of…
by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski
#1216 in Series
Paperback $54.99
Title: Logical Structures for Representation of Knowledge and Uncertainty / Edition 1, Author: Ellen Hisdal
QUICK ADD
Logical Structures for…
by Ellen Hisdal
#14 in Series
Paperback $109.99

Pagination Links