CiNii

Articles, Data
Books
Dissertations

Login
Japanese

Book & Journal
Author
Content

Books and Journals

Books

Journals

Advanced Search

Title

Exact Title Match Include Uniform Titles

Author

Include Alias Names

Author ID

Uniform Title ID

Publisher

ISBN

ISSN

NCID

Subject

Classification

Note

Format

Language

Year

from to

Library ID

Organization ID

Area

Remember Lib. ID / Org. ID / Area

Close

【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

LPAR

ID:DA06518577

Alias Name

International Conference on Logic for Programming and Automated Reasoning

Logic Programming and Automated Reasoning, International Conference

International Conference LPAR

Conference LPAR

Conference LPAR, International

International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Search authors sharing the same name

Search Results1-11 of 11

Select all：

1

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

Edmund M. Clarke and Andrei Voronkov (Eds.)

Springer c2010 Lecture notes in computer science . Lecture notes in artificial intelligence ; 6355

: pbk

Available at 2 libraries
2

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

Geoff Sutcliffe, Andrei Voronkov (eds.)

Springer c2005 Lecture notes in computer science 3835 . Lecture notes in artificial intelligence

Available at 10 libraries
3

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

Franz Baader, Andrei Voronkov (eds.)

Springer c2005 Lecture notes in computer science 3452 . Lecture notes in artificial intelligence

Available at 17 libraries
4

Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Moshe Y. Vardi, Andrei Voronkov (eds.)

Springer c2003 Lecture notes in computer science 2850 . Lecture notes in artificial intelligence

Available at 24 libraries
5

Logic for programming, artificial intelligence, and reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Matthias Baaz, Andrei Voronkov (eds.)

Springer c2002 Lecture notes in computer science 2514 . Lecture notes in artificial intelligence

Available at 28 libraries
6

Logic for Programming,Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Robert Nieuwenhuis, Andrei Voronkov (eds.)

Springer c2001 Lecture notes in computer science 2250 . Lecture notes in artificial intelligence

Available at 28 libraries
7

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings

Michel Parigot, Andrei Voronkov (eds.)

Springer-Verlag c2000 Lecture notes in computer science 1955 . Lecture notes in artificial intelligence

Available at 37 libraries
8

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

Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)

Springer-Verlag c1999 Lecture notes in computer science 1705 . Lecture notes in artificial intelligence

Available at 44 libraries
9

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

Frank Pfenning (ed.)

Springer-Verlag c1994 Lecture notes in computer science 822 . Lecture notes in artificial intelligence

: gw , : us

Available at 58 libraries
10

Logic programming and automated reasoning : 4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

Andrei Voronkov (ed.)

Springer-Verlag c1993 Lecture notes in computer science 698 . Lecture notes in artificial intelligence

: gw , : us

Available at 55 libraries
11

Logic programming and automated reasoning : International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings

A. Voronkov, ed

Springer-Verlag c1992 Lecture notes in computer science 624 . Lecture notes in artificial intelligence

: gw , : us

Available at 55 libraries

Search this author

VIAF
KAKEN — Researchers
J-GLOBAL
researchmap
Google Scholar
Google
Yahoo! JAPAN

Related Authors

Voronkov, A. (Andreĭ)
Clarke, Edmund
Baader, Franz
Vardi, Moshe
Nieuwenhuis, Robert
Parigot, Michel
Ganzinger, Harald
McAllester, David A.
Pfenning, Frank

Smart Phone

|

PC

About CiNii

Help

News
- Updates
- RSS
- Twitter

NII Scholarly Services
- KAKEN
- IRDB
- NII-REO