Premium Members Save 10% Join Now
1- 20 of 199 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: 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: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / Edition 1, Author: Manuel Hermenegildo
QUICK ADD
Programming Language…
by Manuel Hermenegildo, Jaan Penjam
#844 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: Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers / Edition 1, Author: Dirk van Dalen
QUICK ADD
Computer Science Logic: 10th…
by Dirk van Dalen, Marc Bezem
#1258 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: Logic And Declarative Language / Edition 1, Author: M. Downward
QUICK ADD
Logic And Declarative Language…
by M. Downward
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: 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: 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: 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: 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: Constraint Solving and Language Processing: First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers / Edition 1, Author: Henning Christiansen
QUICK ADD
Constraint Solving and…
by Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen
#3438 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: 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: 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: 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: Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / Edition 1, Author: Moshe Vardi
QUICK ADD
Logic for Programming,…
by Moshe Vardi, Andrei Voronkov
#2850 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

Pagination Links