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

Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c1996
形態:
xx, 326 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 1111 . Lecture notes in artificial intelligence <BA00009279>
著者名:
ISBN:
9783540614883 [3540614885]
書誌ID:
BA28155390
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

Alferes, José Júlio, Pereira, Luís Moniz

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

Doets, Kees

MIT Press

JELIA, Alferes, José Júlio, Pereira, Luís Moniz, Orlowska, Ewa

Springer

Deransart, Pierre, 1945-, Małuszyński, Jan, 1941-

MIT Press

European Workshop JELIA '96, Alferes, José Júlio, Orlowska, Ewa, Pereira, Luís Moniz

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

Lloyd, J. W. (John Wylie), 1947-

Springer-Verlag

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

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

Hölldobler, Steffen, 1957-

Springer-Verlag

Artemov, S. N., Fitting, Melvin Chris

Cambridge University Press

Hogger, Christopher John

Academic Press

Clark, K. L. (Keith L.), Tärnlund, S.-A. (Sten-Åke), International Workshop on Logic Programming

Academic Press

Plümer, Lutz, 1951-

Springer-Verlag

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