Extensions of Logic Programming

>> Google Books

Extensions of Logic Programming

フォーマット:

電子ブック

責任表示:

Eriksson ; Eriksson, Lars-Henrik ; Hallnäs, Lars ; Schroeder-Heister, Peter Joseph

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1992

著者名:

ISBN:

9783540554981 [354055498X]

9783540471141 [3540471146]

子書誌情報

オンライン

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

所蔵情報

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

詳細

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

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Extensions of Logic Programming Schroeder-Heister, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	7 図書 Explanation-based transformation of logic programs Boström, Henrik Dept. of Computer and Systems Sciences, Stockholm University, Royal Institute of Technology
2 電子ブック Extensions of Logic Programming ELP '96, Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	8 電子ブック Extensions of Logic Programming ELP '92, Lamma, Evelina, Mello, Paola Springer Berlin Heidelberg
3 電子ブック Musical Haptics Piecha, Thomas; Schroeder-Heister, Peter, Piecha, Thomas, Schroeder-Heister, Peter Springer International Publishing	9 電子ブック Extensions of Logic Programming ELP '93, Dyckhoff, Roy Springer Berlin Heidelberg
4 電子ブック FME 2002:Formal Methods—Getting IT Right International Symposium of Formal Methods Europe, Eriksson, Lars-Henrik, Lindsay, Peter Alexander Springer Berlin Heidelberg	10 電子ブック Logic Programming International Conference on Logic Programming, Stuckey, Peter J. Springer Berlin Heidelberg
5 電子ブック Proof Theory in Computer Science PTCS 2001, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, Stärk, Robert F. Springer Berlin Heidelberg	11 電子ブック Non-Monotonic Extensions of Logic Programming Pereira, Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C. Springer Berlin Heidelberg
6 電子ブック Logical Writings of Karl Popper Binder, David, Piecha, Thomas, Schroeder-Heister, Peter Springer International Publishing	12 電子ブック Non-Monotonic Extensions of Logic Programming NMELP '96, Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C. Springer Berlin Heidelberg