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

書誌事項

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.)

(Lecture notes in computer science, 1705 . Lecture notes in artificial intelligence)

Springer-Verlag, c1999

大学図書館所蔵 件 / 44

この図書・雑誌をさがす

注記

Includes bibliographical references

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ