Clear Search

Books+ Search Results

Location: Is
Is Is Not
Marx Library
Subject with Hierarchy: Is
Is Is Not
Logic programming

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Constraint handling rules
Author
Frühwirth, Thom, 1962-
Published
Cambridge, UK ; New York : Cambridge University Press, 2009.
Online
Table of contents only
Location
MARX LIBRARY, ANNEX, request for use >> QA76.612 .F77X 2009 (LC)
Format
Books
2.
Constraint logic programming using ECLiPSe
Author
Apt, Krzysztof R., 1949-
Published
Cambridge : Cambridge University Press, 2007.
Location
Library Shelving Facility (LSF) >> QA76.612 .A675X 2007 (LC)
Format
Books
3.
Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings
Author
Fuji International Symposium on Functional and Logic Programming (8th : 2006 : Susono-shi, Japan)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3945 (LC)
Format
Books
4.
Logic based program synthesis and transformation : 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers
Author
LOPSTR 2005 (2005 : London, England)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3901 (LC)
Format
Books
5.
Logic programming : 22nd international conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings
Author
International Conference on Logic Programming (22nd : 2006 : Seattle, Wash.)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 4079 (LC)
Format
Books
6.
Recent advances in constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers
Author
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2005 : Uppsala, Sweden)
Published
Berlin ; New York : Springer, c2006.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3978 (LC)
Format
Books
7.
Constraint solving and language processing : first international workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 ; revised selected and invited papers
Author
CSLP 2004 (2004 : Roskilde, Denmark)
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3438 (LC)
Format
Books
8.
Inductive logic programming : 15th international conference, ILP 2005, Bonn, Germany, August 10-13, 2005 ; proceedings
Author
ILP (Conference) (2005 : Bonn, Germany)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3625 (LC)
Format
Books
9.
Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
Published
Berlin : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3573 (LC)
Format
Books
10.
Logic for programming, artificial intelligence, and reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6 2005, proceedings
Author
LPAR (Conference) (2005 Dec : Montego Bay, Jamaica)
Published
Berlin ; Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3835 (LC)
Format
Books
11.
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
Author
LPAR (Conference) (2005 : Montevideo, Uruguay)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3452 (LC)
Format
Books
12.
Logic programming and nonmonotonic reasoning : 8th international conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
Author
LPNMR 2005 (2005 : Dimante, Italy)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3662 (LC)
Format
Books
13.
Logic programming : 21st international conference, ICLP 2005, Sitges, Spain, October 2-5, 2005 : proceedings
Author
International Conference on Logic Programming (21st : 2005 : Sitges, Spain)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3668 (LC)
Format
Books
14.
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
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3419 (LC)
Format
Books
15.
Arithmetic and logic in computer systems
Author
Lu, Mi
Published
Hoboken, NJ : Wiley-Interscience, c2004.
Online
Contributor biographical information
Publisher description
Table of contents
Location
Library Shelving Facility (LSF) >> QA76.9.C62 L8X 2004 (LC)
Format
Books
16.
Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings
Author
FLOPS 2004 (2004 : Nara, Japan)
Published
Berlin : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2998 (LC)
Format
Books
17.
Inductive logic programming : 14th international conference, ILP 2004, Porto, Portugal, September 6-8, 2004 : proceedings
Author
ILP (Conference) (14th : 2004 : Porto, Portugal)
Published
Berlin ; New York : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3194 (LC)
Format
Books
18.
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 ; revised selected papers
Author
LOPSTR 2003 (13th : 2003 : Uppsala, Sweden)
Published
Berlin ; New York : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3018 (LC)
Format
Books
19.
Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, Fla., January 6-8, 2004 : proceedings
Author
LPNMR 2004 (7th : 2004 : Fort Lauderdale, Fla)
Published
Berlin ; New York : Springer, c2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2923 (LC)
Format
Books
20.
Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 ; proceedings
Author
International Conference on Logic Programming (20th : 2004 : Saint-Malo, France)
Published
Berlin ; New York : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3132 (LC)
Format
Books
21.
Program development in computational logic : a decade of research advances in logic-based program development
Published
Berlin ; New York : Springer, 2004.
Online
Restricted to Springer LINK subscribers
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3049 (LC)
Format
Books
22.
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
Author
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming (2003 : Budapest, Hungary)
Published
Berlin ; London : Springer, 2004.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3010 (LC)
Format
Books
23.
Inductive logic programming : 12th international conference, ILP 2002, Sydney, Australia, July 2002 : revised papers
Author
ILP (Conference) (2002 : Sydney, N.S.W.)
Published
Berlin ; New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2583 (LC)
Format
Books
24.
Inductive logic programming : 13th International Conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003 : proceedings
Author
ILP (Conference) (2003 : Szeged, Hungary)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2835 (LC)
Format
Books
25.
Logic based program synthesis and transportation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : proceedings
Author
LOPSTR 2002 (2002 : Madrid, Spain)
Published
New York : Springer, 2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2664 (LC)
Format
Books