1- 20 of 200 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 Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / Edition 1, Author: John Gallagher
QUICK ADD
Logic Program Synthesis and…
by John Gallagher
#1207 in Series
Paperback $54.99
Title: Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / Edition 1, Author: Stephen Muggleton
QUICK ADD
Inductive Logic Programming:…
by Stephen Muggleton
#1314 in Series
Paperback $54.99
Title: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / Edition 1, Author: Germán Puebla
QUICK ADD
Logic-Based Program Synthesis…
by Germán Puebla
#4407 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: 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: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
QUICK ADD
Rapid Prototyping of Digital…
by James O. Hamblen, Michael D. Furman
Paperback $54.99
Title: Reasoning with Logic Programming / Edition 1, Author: Jose Julio Alferes
QUICK ADD
Reasoning with Logic…
by Jose Julio Alferes, Luis Moniz Pereira
#1111 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 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: Field-Programmable Logic, Smart Applications, New Paradigms and Compilers: 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings / Edition 1, Author: Reiner W. Hartenstein
QUICK ADD
Field-Programmable Logic,…
by Reiner W. Hartenstein, Manfred Glesner
#1142 in Series
Paperback $54.99
Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / Edition 1, Author: Manuel Hermenegildo
QUICK ADD
Programming Languages:…
by Manuel Hermenegildo, S.Doaitse Swierstra
#982 in Series
Paperback $54.99
Title: Learning Language in Logic / Edition 1, Author: James Cussens
QUICK ADD
Learning Language in Logic /…
by James Cussens, Saso Dzeroski
#1925 in Series
Paperback $54.99
Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
QUICK ADD
Fundamentals of Switching…
by Jaakko Astola, Radomir S. Stankovic
Hardcover $54.99
Title: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / Edition 1, Author: Andy King
QUICK ADD
Logic-Based Program Synthesis…
by Andy King
#4915 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: 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: Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings / Edition 1, Author: Michael Hanus
QUICK ADD
Algebraic and Logic…
by Michael Hanus, Mario Rodriguez-Artalejo
#1139 in Series
Paperback $54.99
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

Pagination Links