Clear Search

Books+ Search Results

Subject with Hierarchy: Is
Is Is Not
Logic programming
Subject: Is
Is Is Not
Automatic theorem proving

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (2)

Limit your search

1.
Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings
Author
LPAR (Conference) (2006 : Phnom Penh, Cambodia)
Published
Berlin ; New York : Springer, c2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
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
3.
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
4.
Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
Author
LPAR (Conference) (10th : 2003 : Almaty, Kazakhstan)
Published
Berlin ; New York : Springer, c2003.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2850 (LC)
Format
Books
5.
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
Published
Berlin : London : Springer, c2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2407 (LC)
Library Shelving Facility (LSF) >> QA76 A1 L43 2408 (LC)
Format
Books
6.
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
Author
LPAR (Conference) (2002 : Tbilisi, Georgia)
Published
New York : Springer, 2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2514 (LC)
Format
Books
7.
Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
Author
LPAR (Conference) (2000 : Réunion)
Published
Berlin ; New York : Springer, c2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1955 (LC)
Format
Books
8.
Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Author
LPAR (Conference) (6th : 1999 : Tbilisi, Georgia)
Published
Berlin ; New York : Springer-Verlag, 1999.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1705 (LC)
Format
Books
9.
Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
Author
LPAR (Conference) (5th : 1994 : Kiev, Ukraine)
Published
Berlin ; New York : Springer-Verlag, c1994.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 822 (LC)
Format
Books
10.
Logic programming and automated reasoning : international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
Author
LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia)
Published
Berlin ; New York : Springer-Verlag, c1993.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 698 (LC)
Format
Books
11.
Logic programming and automated reasoning : proceedings
Author
International Conference LPAR '92 (1992 : Saint Petersburg, Russia)
Published
Berlin ; New York : Springer-Verlag, c1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 624 (LC)
Format
Books
12.
From logic design to logic programming : theorem proving techniques and P-functions
Author
Snyers, Dominique, 1959-
Published
Berlin ; New York : Springer-Verlag, c1987.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 271 (LC)
Format
Books
13.
Journal of automated reasoning
Published
Kluwer Academic Publishers
Netherlands : Springer Netherlands
Online
Full text
Location
Yale Internet Resource >> None
Format
Journals & Newspapers / Online