Blank Cover Image

Extensions of Logic Programming

フォーマット:
電子ブック
責任表示:
Eriksson ; Eriksson, Lars-Henrik ; Hallnäs, Lars ; Schroeder-Heister, Peter Joseph
言語:
英語
出版情報:
Springer Berlin Heidelberg, 1992
著者名:
ISBN:
9783540554981 [354055498X]  CiNii Books  Webcat Plus  Google Books
9783540471141 [3540471146]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Schroeder-Heister, Schroeder-Heister, Peter Joseph

Springer Berlin Heidelberg

ELP '92, Lamma, Evelina, Mello, Paola

Springer Berlin Heidelberg

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

Springer Berlin Heidelberg

ELP '93, Dyckhoff, Roy

Springer Berlin Heidelberg

Piecha, Thomas; Schroeder-Heister, Peter, Piecha, Thomas, Schroeder-Heister, Peter

Springer International Publishing

Pereira, Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C.

Springer Berlin Heidelberg

International Symposium of Formal Methods Europe, Eriksson, Lars-Henrik, Lindsay, Peter Alexander

Springer Berlin Heidelberg

NMELP '96, Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C.

Springer Berlin Heidelberg

PTCS 2001, Kahle, Reinhard, Schroeder-Heister, Peter Joseph, Stärk, Robert F.

Springer Berlin Heidelberg

11 電子ブック Logic Programming

International Conference on Logic Programming, Stuckey, Peter J.

Springer Berlin Heidelberg

Boström, Henrik

Dept. of Computer and Systems Sciences, Stockholm University, Royal Institute of Technology

FLOPS 2004, Kameyama, Yukiyoshi, Stuckey, Peter J.

Springer Berlin / Heidelberg