>> 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
他の版・巻

類似資料:

1 電子ブック Reasoning with Logic Programming

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Logic programming

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

Academic Press
2 図書 Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996 : proceedings

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

Springer
8 図書 From logic to logic programming

Doets, Kees

MIT Press
3 電子ブック Logics in Artificial Intelligence

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 Justification logic : reasoning with reasons (: hardback)

Artemov, S. N., Fitting, Melvin Chris

Cambridge University Press
4 電子ブック Non-Monotonic Extensions of Logic Programming

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
10 図書 Logic programming and its applications

Warren, David H. D., Van Caneghem, Michel

Ablex Publishing
5 電子ブック Logic Programming and Knowledge Representation

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
11 図書 Introduction to logic programming (: pbk)

Hogger, Christopher John

Academic Press
6 電子ブック Non-Monotonic Extensions of Logic Programming

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

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
12 図書 Foundations of logic programming (U.S. ; Berlin)

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

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