Premium Members Save 10% Join Now
61- 80 of 202 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings, Author: Alberto Pettorossi
QUICK ADD
Meta-Programming in Logic:…
by Alberto Pettorossi (Editor)
#649 in Series
Paperback $54.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: Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings, Author: Rajeev Gore
QUICK ADD
Automated Reasoning: First…
by Rajeev Gore (Editor), Alexander Leitsch (Editor), Tobias Nipkow (Editor)
#2083 in Series
Paperback $109.99
Title: Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings, Author: Herbert Kuchen
QUICK ADD
Functional and Logic…
by Herbert Kuchen (Editor), Kazunori Ueda (Editor)
#2024 in Series
Paperback $54.99
Title: Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / Edition 1, Author: Annalisa Bossi
QUICK ADD
Logic-Based Program Synthesis…
by Annalisa Bossi
#1817 in Series
Paperback $54.99
Title: Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / Edition 1, Author: Rui Camacho
QUICK ADD
Inductive Logic Programming:…
by Rui Camacho, Ross King, Ashwin Srinivasan
#3194 in Series
Paperback $54.99
Title: Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings / Edition 1, Author: Filip Zelezný
QUICK ADD
Inductive Logic Programming:…
by Filip Zelezný, Nada Lavrac
#5194 in Series
Paperback $54.99
Title: Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / Edition 1, Author: João Leite
QUICK ADD
Computational Logic in…
by João Leite, Paolo Torroni
#3487 in Series
Paperback $54.99
Title: Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings / Edition 1, Author: Evelina Lamma
QUICK ADD
Extensions of Logic…
by Evelina Lamma, Paola Mello
#660 in Series
Paperback $54.99
Title: Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / Edition 1, Author: Michael Hanus
QUICK ADD
Algebraic and Logic…
by Michael Hanus, Jan Heering, Karl Meinke
#1298 in Series
Paperback $54.99
Title: Transactions on High-Performance Embedded Architectures and Compilers V, Author: Cristina Silvano
QUICK ADD
Transactions on…
by Cristina Silvano, Koen Bertels, Michael Schulte
#11225 in Series
Paperback $54.99
Title: Over-Constrained Systems / Edition 1, Author: Michael Jampel
QUICK ADD
Over-Constrained Systems /…
by Michael Jampel, Eugene Freuder, Michael Maher
#1106 in Series
Paperback $54.99
Title: Parallelism in Logic: Its Potential for Performance and Program Development, Author: Franz Kurfeß
QUICK ADD
Parallelism in Logic: Its…
by Franz Kurfeß (With)
Explore Series
Paperback $59.99
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
QUICK ADD
Reversible Computation: 12th…
by Ivan Lanese (Editor), Mariusz Rawski (Editor)
#12227 in Series
Paperback $54.99
Title: Essentials of Logic Programming, Author: Christopher John Hogger
QUICK ADD
Essentials of Logic…
by Christopher John Hogger
#1 in Series
Paperback $66.00
Title: Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1, Author: Helene Kirchner
QUICK ADD
Algebraic and Logic…
by Helene Kirchner, Giorgio Levi
#632 in Series
Paperback $54.99
Title: Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, Author: Hector J. Levesque
QUICK ADD
Logical Foundations for…
by Hector J. Levesque (Editor), Fiora Pirri (Editor)
Explore 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: Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings, Author: Michel Parigot
QUICK ADD
Logic for Programming and…
by Michel Parigot (Editor), Andrei Voronkov (Editor)
#1955 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

Pagination Links