Logic Programming and Automated Reasoning | 金沢大学附属図書館 OPAC plus

>> Google Books

Logic Programming and Automated Reasoning

フォーマット:

電子ブック

責任表示:

LPAR (Conference) ; Pfenning, Frank

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1994

著者名:

ISBN:

9783540582168 [3540582169]

9783540485735 [3540485732]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

刊行状態:	Unknown status
分類・件名:	LCC : 1000000000234137
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Logic Programming and Automated Reasoning International Conference LPAR, Voronkov, AndreÄ Springer Berlin Heidelberg	7 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning LPAR (Conference), Vardi, Moshe Y., Voronkov, AndreÄ Springer Berlin Heidelberg
2 電子ブック Logic for Programming and Automated Reasoning LPAR (Conference), Parigot, Michel, Voronkov, AndreÄ Springer Berlin Heidelberg	8 電子ブック Proceedings of the 2nd international conference on Generative programming and component engineering GPCE 2003, Pfenning, Frank, Smaragdakis, Yannis, Association for Computing Machinery-Digital Library. Springer Berlin Heidelberg
3 電子ブック Logic Programming and Automated Reasoning International Conference LPAR '92, Voronkov, AndreÄ Springer Berlin Heidelberg	9 電子ブック Logic Programming and Nonmotonic Reasoning LPNMR 2001, Eiter, Thomas, Faber, Wolfgang Springer Berlin Heidelberg
4 電子ブック Logic for Programming and Automated Reasoning LPAR (Conference), Ganzinger, Harald, McAllester, David A., Voronkov, AndreÄ Springer Berlin Heidelberg	10 電子ブック Logic Programming And Nonmonotonic Reasoning LPNMR '97, Dix, Jürgen, Fuhrbach, Ulrich, Nerode, Anil Springer Berlin Heidelberg
5 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning LPAR (Conference), Nieuwenhuis, Robert, Voronkov, AndreÄ Springer Berlin Heidelberg	11 電子ブック Logic Programming and Nonmonotonic Reasoning LPNMR 2004, Lifschitz, Vladimir, Niemelä, Ilkka Springer Berlin / Heidelberg
6 電子ブック Logic for Programming, Artificial Intelligence, and Reasoning LPAR (Conference), Baaz, Matthias, Voronkov, AndreÄ Springer Berlin Heidelberg	12 電子ブック Logic Programming and Nonmonotonic Reasoning LPNMR '99, Gelfond, Michael, Leone, Nicola, Pfeifer, Gerald Springer Berlin Heidelberg