25% Off Pre-Order Books with Code: PREORDER25 for Premium & Reward Members Shop Now
21- 40 of 191 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: The Clausal Theory of Types, Author: D. A. Wolfram
QUICK ADD
The Clausal Theory of Types
by D. A. Wolfram
#21 in Series
Hardcover $77.99
Title: Advances in Inductive Logic Programming / Edition 1, Author: L. De Raedt
QUICK ADD
Advances in Inductive Logic…
by L. De Raedt
#32 in Series
Hardcover $145.00
Title: Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / Edition 1, Author: Fariba Sadri
QUICK ADD
Computational Logic in…
by Fariba Sadri, Ken Satoh
#5056 in Series
Paperback $54.99
Title: Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
QUICK ADD
Reversible Computation: 8th…
by Simon Devitt, Ivan Lanese
#9720 in Series
Paperback $54.99
Title: Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / Edition 1, Author: Harald Ganzinger
QUICK ADD
Logic Programming and…
by Harald Ganzinger, David McAllester, Andrei Voronkov
#1705 in Series
Paperback $54.99
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations, Author: Dov M. Gabbay
QUICK ADD
Handbook of Logic in…
by Dov M. Gabbay, C. J. Hogger, J. A. Robinson, J. Siekmann
Explore Series
Hardcover $490.00
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
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: Inductive Logic Programming: 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings / Edition 1, Author: Stefan Kramer
QUICK ADD
Inductive Logic Programming:…
by Stefan Kramer, Bernhard Pfahringer
#3625 in Series
Paperback $54.99
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers / Edition 1, Author: Krzysztof R. Apt
QUICK ADD
Recent Advances in Constraints…
by Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza
#3010 in Series
Paperback $54.99
Title: Inductive Logic Programming: 7th International Workshop, ILP-97, Prague, Czech Republic, September 17-20, 1997, Proceedings / Edition 1, Author: Nada Lavrac
QUICK ADD
Inductive Logic Programming:…
by Nada Lavrac, Saso Dzeroski
#1297 in Series
Paperback $54.99
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
QUICK ADD
Synthesis Techniques and…
by Ryan Kastner, Adam Kaplan, Majid Sarrafzadeh
Paperback $109.99
Title: Foundations of Inductive Logic Programming / Edition 1, Author: Shan-Hwei Nienhuys-Cheng
QUICK ADD
Foundations of Inductive Logic…
by Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
#1228 in Series
Paperback $84.99
Title: Quantum Theoretic Machines: What is thought from the point of view of Physics?, Author: A. Stern
QUICK ADD
Quantum Theoretic Machines:…
by A. Stern
Hardcover $260.00
Title: A Baker's Dozen: Real Analog Solutions for Digital Designers, Author: Bonnie Baker
QUICK ADD
A Baker's Dozen: Real Analog…
by Bonnie Baker
Paperback $88.95
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: Structural Health Monitoring: A Machine Learning Perspective / Edition 1, Author: Charles R. Farrar
QUICK ADD
Structural Health Monitoring:…
by Charles R. Farrar, Keith Worden
Hardcover $174.95
Title: Logic Synthesis and Verification Algorithms / Edition 1, Author: Gary D. Hachtel
QUICK ADD
Logic Synthesis and…
by Gary D. Hachtel, Fabio Somenzi
Paperback from $63.57 $89.99 Current price is $63.57, Original price is $89.99.
Title: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Michael D. Furman, Tyson S. Hall
Paperback $79.99
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
QUICK ADD
Principles and Structures of…
by Hideharu Amano
Paperback $199.99

Pagination Links