21- 40 of 127 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings / Edition 1, Author: Anthony Beaumont
QUICK ADD
Parallel Execution of Logic…
by Anthony Beaumont, Gopal Gupta
#569 in Series
Paperback $54.99
Title: Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / Edition 1, Author: Matthias Baaz
QUICK ADD
Computer Science Logic: 17th…
by Matthias Baaz, Johann M. Makowsky
#2803 in Series
Paperback $109.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: Reversible Computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, Author: Jean Krivine
QUICK ADD
Reversible Computation: 7th…
by Jean Krivine, Jean-Bernard Stefani
#9138 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: Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / Edition 1, Author: Iliano Cervesato
QUICK ADD
Logic for Programming,…
by Iliano Cervesato, Helmut Veith, Andrei Voronkov
#5330 in Series
Paperback $109.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: 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: Essentials of Logic Programming, Author: Christopher John Hogger
QUICK ADD
Essentials of Logic…
by Christopher John Hogger
#1 in Series
Paperback $66.00
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 in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings / Edition 1, Author: Gerard Comyn
QUICK ADD
Logic Programming in Action:…
by Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe
#636 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: Conclog: A Methodological Approach to Concurrent Logic Programming / Edition 1, Author: Jean-Marie Jacquet
QUICK ADD
Conclog: A Methodological…
by Jean-Marie Jacquet
#556 in Series
Paperback $109.99
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 for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / Edition 1, Author: Geoff Sutcliffe
QUICK ADD
Logic for Programming,…
by Geoff Sutcliffe, Andrei Voronkov
#3835 in Series
Paperback $109.99
Title: Computer Aided Logical Design with Emphasis on VLSI / Edition 4, Author: Frederick J. Hill
QUICK ADD
Computer Aided Logical Design…
by Frederick J. Hill, Gerald R. Peterson
Paperback $264.75
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
QUICK ADD
Reversible Computation: 10th…
by Jarkko Kari, Irek Ulidowski
#11106 in Series
Paperback $54.99
Title: Modal and Temporal Properties of Processes / Edition 1, Author: Colin Stirling
QUICK ADD
Modal and Temporal Properties…
by Colin Stirling
Explore Series
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: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
QUICK ADD
Parallel and Distributed Logic…
by Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
#24 in Series
Paperback $169.99

Pagination Links