Extensions of Logic Programming | 金沢大学附属図書館OPAC plus

>> Google Books

Extensions of Logic Programming

フォーマット:

電子ブック

責任表示:

Schroeder-Heister ; Schroeder-Heister, Peter Joseph

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1991

著者名:

ISBN:

9783540535904 [354053590X]

9783540468790 [354046879X]

子書誌情報

オンライン

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

所蔵情報

Loading availability information

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

詳細

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

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Extensions of Logic Programming Eriksson, Eriksson, Lars-Henrik, Hallnäs, Lars, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	7 電子ブック Non-Monotonic Extensions of Logic Programming Pereira, Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C. Springer Berlin Heidelberg
2 電子ブック Extensions of Logic Programming ELP '96, Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter Joseph Springer Berlin Heidelberg	8 電子ブック Non-Monotonic Extensions of Logic Programming NMELP '96, Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C. Springer Berlin Heidelberg
3 電子ブック Advances in Proof-Theoretic Semantics Piecha, Thomas; Schroeder-Heister, Peter, Piecha, Thomas, Schroeder-Heister, Peter Springer International Publishing	9 電子ブック Logic Programming International Conference on Logic Programming, Stuckey, Peter J. Springer Berlin Heidelberg
4 電子ブック Proof Theory in Computer Science PTCS 2001, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, Stärk, Robert F. Springer Berlin Heidelberg	10 電子ブック Functional and Logic Programming FLOPS 2004, Kameyama, Yukiyoshi, Stuckey, Peter J. Springer Berlin / Heidelberg
5 電子ブック Extensions of Logic Programming ELP '92, Lamma, Evelina, Mello, Paola Springer Berlin Heidelberg	11 電子ブック Inductive Logic Programming ILP (Conference), DÅ¾eroski, SaÅ¡o, Flach, Peter A. Springer Berlin Heidelberg
6 電子ブック Extensions of Logic Programming ELP '93, Dyckhoff, Roy Springer Berlin Heidelberg	12 電子ブック Field Programmable Logic and Applications Wayne Luk, Cheung, Peter Y. K., Glesner, Manfred, Luk, Wayne Springer Berlin Heidelberg