عنوان

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

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

1999: Tbilisi, Georgia

Berlin

Springer-Verlag

c1999

xii, 395 p.: ill., tables

Lecture notes in computer science; 5071. Lecture notes in artificial intelligence

Includes bibliographies

ISBN 3540664920

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

Congresses ، Logic programming

Congresses ، Automatic theorem proving

L28

Vol

1705

AU Ganzinger, Harald, 1950-

AU McAllester, David A.

AU Voronkov, Andrei, 1959-

SE Lecture notes in computer science 1705

LPAR