21- 40 of 124 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings / Edition 1, Author: Andrei Voronkov
QUICK ADD
Logic Programming and…
by Andrei Voronkov
#624 in Series
Paperback $54.99
Title: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings / Edition 1, Author: Maurizio Proietti
QUICK ADD
Logic Program Synthesis and…
by Maurizio Proietti
#1048 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: 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: 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: 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: 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: Essentials of Logic Programming, Author: Christopher John Hogger
QUICK ADD
Essentials of Logic…
by Christopher John Hogger
#1 in Series
Paperback $66.00
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: Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings / Edition 1, Author: Roy Dyckhoff
QUICK ADD
Extensions of Logic…
by Roy Dyckhoff
#798 in Series
Paperback $54.99
Title: Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / Edition 1, Author: David Basin
QUICK ADD
Automated Reasoning: Second…
by David Basin, Michael Rusinowitch
#3097 in Series
Paperback $109.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: 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: 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: 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
Title: Logical Structures for Representation of Knowledge and Uncertainty / Edition 1, Author: Ellen Hisdal
QUICK ADD
Logical Structures for…
by Ellen Hisdal
#14 in Series
Paperback $109.99
Title: Logic Synthesis and Verification Algorithms / Edition 1, Author: Gary D. Hachtel
QUICK ADD
Logic Synthesis and…
by Gary D. Hachtel, Fabio Somenzi
Paperback $89.99
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / Edition 1, Author: Boi Faltings
QUICK ADD
Recent Advances in Constraints…
by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi
#3419 in Series
Paperback $54.99
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
QUICK ADD
Artificial Intelligence in…
by Svetlana N. Yanushkevich
#766 in Series
Paperback $169.99
Title: Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings / Edition 1, Author: Harald Ganzinger
QUICK ADD
Logic Programming and…
by Harald Ganzinger, David McAllester, Andrei Voronkov
#1705 in Series
Paperback $54.99

Pagination Links