>> Google Books
所蔵情報QRコード

Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings / Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1996
形態:
viii, 318 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1050 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540609834 [3540609830] (: gw)
書誌ID:
BA27308441
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

ELP '93, Dyckhoff, Roy

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

International Workshop on Extensions of Logic Programming, Dyckhoff, Roy, 1948-

Springer-Verlag

NMELP, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-

Springer

International Workshop on Extensions of Logic Programming, Eriksson, L.-H. (Lars-Henrik), 1960-, Hallnäs, Lars, …

Springer-Verlag

Proof Theory in Computer Science, Kahle, Reinhard, 1967-, Schroeder-Heister, Peter Joseph, 1953-, Stärk, Robert F., …

Springer

Schroeder-Heister, Peter Joseph

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

International Workshop on Extensions of Logic Programming, Lamma, E. (Evelina), 1960-, Mello, P. (Paula), 1958-

Springer-Verlag

Schroeder-Heister, Peter Joseph, 1953-, International Workshop on Extensions of Logic Programming

Springer-Verlag

International Workshop on Logic Program Synthesis and Transformation, Gallagher, John P.

Springer

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

SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg

International Conference on Algebraic and Logic Programming, Hanus, Michael, Rodríguez Artalejo, M. (Mario)

Springer

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