Clear Search

Books+ Search Results

Author/Creator: Is
Is Is Not
Voronkov, A. (Andreĭ), 1959-
Subject with Hierarchy: Is
Is Is Not
Logic programming

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (1)

Limit your search

-
Current results range from 1992 to 2006

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.
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
6.
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
7.
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
8.
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
9.
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
10.
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
Author
RCLP (Conference) (1st : 1990 : Irkutsk, R.S.F.S.R.)
Published
Berlin ; New York : Springer-Verlag, c1992.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 592 (LC)
Format
Books