Extensions of Logic Programming

>> Google Books

Extensions of Logic Programming

フォーマット:

電子ブック

責任表示:

ELP '96 ; Dyckhoff, Roy ; Herre, Heinrich ; Schroeder-Heister, Peter Joseph

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1996

著者名:

ISBN:

9783540609834 [3540609830]

9783540497516 [354049751X]

子書誌情報

オンライン

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

所蔵情報

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

詳細

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

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Extensions of Logic Programming ELP '93, Dyckhoff, Roy Springer Berlin Heidelberg	7 電子ブック Logical Writings of Karl Popper Binder, David, Piecha, Thomas, Schroeder-Heister, Peter Springer International Publishing
2 電子ブック Extensions of Logic Programming Schroeder-Heister, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	8 電子ブック Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2000, Dyckhoff, Roy Springer Berlin Heidelberg
3 電子ブック Extensions of Logic Programming Eriksson, Eriksson, Lars-Henrik, Hallnäs, Lars, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	9 電子ブック Logic Programming International Conference on Logic Programming, Stuckey, Peter J. Springer Berlin Heidelberg
4 電子ブック Extensions of Logic Programming ELP '92, Lamma, Evelina, Mello, Paola Springer Berlin Heidelberg	10 電子ブック Non-Monotonic Extensions of Logic Programming Pereira, Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C. Springer Berlin Heidelberg
5 電子ブック Musical Haptics Piecha, Thomas; Schroeder-Heister, Peter, Piecha, Thomas, Schroeder-Heister, Peter Springer International Publishing	11 電子ブック Non-Monotonic Extensions of Logic Programming NMELP '96, Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C. Springer Berlin Heidelberg
6 電子ブック Proof Theory in Computer Science PTCS 2001, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, Stärk, Robert F. Springer Berlin Heidelberg	12 電子ブック Survey of selected organic compounds in aquifers of New York State excluding Long Island Schroeder, Roy A. U.S. Geological Survey