この商品を友人に教える:
Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16-22, 1994 - Proceedings - Lecture Notes in Computer Science Frank Pfenning
価格
¥ 8.882
税抜
遠隔倉庫からの取り寄せ
発送予定日 2026年1月12日 - 2026年1月22日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Logic Programming and Automated Reasoning: 5th International Conference, Lpar '94, Kiev, Ukraine, July 16-22, 1994 - Proceedings - Lecture Notes in Computer Science
Frank Pfenning
The proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, held aboard the "Marshal Koshevoi" near Kiev in July 1994, are recorded in this volume. The research papers cover all relevant aspects, ranging from theory to implementation and application.
352 pages, biography
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1994年6月22日 |
| ISBN13 | 9783540582168 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 352 |
| 寸法 | 156 × 234 × 19 mm · 508 g |
| 言語 | ドイツ語 |
| 編集者 | Pfenning, Frank |
![Cover for Frank Pfenning · Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings - Lecture N (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/748/9783642370748.jpg?frank-pfenning-2013-foundations-of-software-science-and-computation-structures-16th-international-conference-fossacs-2013-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2013-rome-italy-march-16-24-2013-proceedings-l&class=scaled&v=1605384729)
![Cover for Frank Pfenning · Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/946/9783540735946.jpg?frank-pfenning-2007-automated-deduction-cade-21-21st-international-conference-on-automated-deduction-bremen-germany-july-17-20-2007-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1441021331)
![Cover for Frank Pfenning · Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings - Theoretical Computer Science and General Issues (Paperback Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/342/9783540368342.jpg?frank-pfenning-2006-term-rewriting-and-applications-17th-international-conference-rta-2006-seattle-wa-usa-august-12-14-2006-proceedings-theoretical-computer-science-and-general-issues-paperback-book&class=scaled&v=1615210457)
