Skip to contents

Pfenning, Frank [Editor] ; LPAR 5 1994 Kiew

Logic programming and automated reasoning : proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in computer science ; 822
Voronkov, Andrej [Editor]; Voronkov, Andrei [Editor] ; LPAR 4 1993 Sankt Petersburg

Logic programming and automated reasoning : proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: Lecture notes in computer science ; 698
Clarke, Edmund M. [Editor]; Voronkov, Andrei [Other] ; LPAR 16 2010 Dakar

Logic for programming, artificial intelligence, and reasoning : 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6355
Fermüller, Christian G. [Editor]; Voronkov, Andrei [Other] ; LPAR 17 2010 Yogyakarta

Logic for programming, artificial intelligence, and reasoning : 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6397
Cervesato, Iliano [Editor]; Veith, Helmut [Other]; Voronkov, Andrei [Other] ; LPAR 15 2008 Doha

Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5330
Dershowitz, Nachum [Editor]; Voronkov, Andrei [Other] ; LPAR 14 2007 Jerewan

Logic for programming artificial intelligence and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4790
Baader, Franz [Editor] ; LPAR 11 2005 Montevideo

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14 - 18, 2005 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3452
Vardi, Moshe Y. [Editor] ; LPAR 10 2003 Almaty

Logic for programming, artificial intelligence, and reasoning : 10th international conference, Almaty, Kazakhstan, September 22 - 26, 2003 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2850
Nieuwenhuis, Robert [Editor] ; LPAR 8 2001 Havanna

Logic for programming, artificial intelligence, and reasoning : 8th international conference, Havana, Cuba, December 3 - 7, 2001 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2001

Published in: Lecture notes in computer science ; 2250
Voronkov, Andrej [Editor]; Voronkov, Andrei [Editor] ; LPAR 3 1992 Sankt Petersburg

Logic programming and automated reasoning : proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Lecture notes in computer science ; 624
Hermann, Miki [Editor]; Voronkov, Andrei [Other] ; LPAR 13 2006 Phnom Penh

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13 - 17, 2006 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 4246
Sutcliffe, Geoff [Editor] ; LPAR 12 2005 Montego Bay

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3835
Baaz, Matthias [Editor] ; LPAR 9 2002 T'bilisi

Logic for programming, artificial intelligence, and reasoning : 9th international conference ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2514
Ganzinger, Harald [Editor] ; LPAR 6 1999 T'bilisi

Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Lecture notes in computer science ; 1705
Parigot, Michel [Editor] ; LPAR 7 2000 Saint-Gilles-les-Bains

Logic for programming and automated reasoning : 7th international conference, Reunion Island, France, November 6 - 10, 2000 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1955
Voronkov, Andrei [Editor] ; Russian Conference on Logic Programming 1 1990 - 2, 1991, Russian Conference on Logic Programming 1 1990 Irkutsk, Russian Conference on Logic Programming 2 1991 Sankt Petersburg

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

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Lecture notes in computer science ; 592
Eiter, Thomas [Editor]; Sands, David [Editor] ; International Conference on Logic for Programming, Artificial Intelligence and Reasoning 21. 2017 Maun

LPAR-21 : 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, May 4, 2017

Published in: EPiC series in computing ; 46
Konev, Boris [Editor]; Schulz, Stephan [Editor]; Simon, Laurent [Editor] ; International Workshop on the Implementation of Logics 11. 2015 Suva

IWIL-2015 : 11th International Workshop on the Implementation of Logics

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, September 27, 2016

Published in: EPiC series in computing ; 40
Pfenning, Frank [Other] ; LPAR 5 1994 Kiew

Logic programming and automated reasoning : 5th international conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994 ; proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1994 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 82200
Korovin, Konstantin [Editor]; Schulz, Stephan [Editor]; Ternovska, Eugenia [Editor] ; International Workshop on the Implementation of Logics 9. 2012 Mérida Venezuela

IWIL 2012 : the 9th International Workshop on the Implementation of Logics

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, November 25, 2013

Published in: EPiC series in computing ; 22

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication