50% Off The Criterion Collection Shop Now
1- 20 of 203 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs
QUICK ADD
Cooperation in Heterogeneous…
by Dirk Fuchs
Hardcover $36.00
Title: Rigorous Software Development: An Introduction to Program Verification / Edition 1, Author: Josï Bacelar Almeida
QUICK ADD
Rigorous Software Development:…
by Josï Bacelar Almeida, Maria Joïo Frade, Jorge Sousa Pinto, Simïo Melo de Sousa
Explore Series
Paperback $39.95
Title: Logic And Declarative Language / Edition 1, Author: M. Downward
QUICK ADD
Logic And Declarative Language…
by M. Downward
Paperback $51.99
Title: Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991. Proceedings / Edition 1, Author: Andrei Voronkov
QUICK ADD
Logic Programming: First…
by Andrei Voronkov
#592 in Series
Paperback $54.99
Title: Transactions and Change in Logic Databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS'97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Ded / Edition 1, Author: Burkhard Freitag
QUICK ADD
Transactions and Change in…
by Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
#1472 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: Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings / Edition 1, Author: Yukiyoshi Kameyama
QUICK ADD
Functional and Logic…
by Yukiyoshi Kameyama, Peter J. Stuckey
#2998 in Series
Paperback $54.99
Title: Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings / Edition 1, Author: Vladimir Lifschitz
QUICK ADD
Logic Programming and…
by Vladimir Lifschitz, Ilkka Niemelä
#2923 in Series
Paperback $54.99
Title: Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings / Edition 1, Author: Lars-Henrik Eriksson
QUICK ADD
Extensions of Logic…
by Lars-Henrik Eriksson, Lars Hallnïs, Peter Schroeder-Heister
#596 in Series
Paperback $54.99
Title: Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings / Edition 1, Author: Chitta Baral
QUICK ADD
Logic Programming and…
by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina
#3662 in Series
Paperback $54.99
Title: Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings / Edition 1, Author: Aart Middeldorp
QUICK ADD
Functional and Logic…
by Aart Middeldorp, Taisuke Sato
#1722 in Series
Paperback $54.99
Title: Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / Edition 1, Author: Luke Ong
QUICK ADD
Computer Science Logic: 19th…
by Luke Ong
#3634 in Series
Paperback $54.99
Title: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley
QUICK ADD
A Tight, Practical Integration…
by Harold Boley
#1712 in Series
Paperback $54.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: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development / Edition 1, Author: Maurice Bruynooghe
QUICK ADD
Program Development in…
by Maurice Bruynooghe, Kung-Kiu Lau
#3049 in Series
Paperback $54.99
Title: Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings / Edition 1, Author: Thomas Eiter
QUICK ADD
Logic Programming and…
by Thomas Eiter, Wolfgang Faber, Miroslaw Trusczynksi
#2173 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: Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers / Edition 1, Author: Luis Moniz Pereira
QUICK ADD
Logic Programming and…
by Luis Moniz Pereira, Teodor C. Przymusinski
#1471 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: Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings / Edition 1, Author: Jerzy Marcinkowski
QUICK ADD
Computer Science Logic: 18th…
by Jerzy Marcinkowski
#3210 in Series
Paperback $54.99

Pagination Links