Reasoning with Logic Programming

>> Google Books

Reasoning with Logic Programming / José Júlio Alferes, Luís Moniz Pereira

資料種別:

電子ブック

出版情報:

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

著者名:

ISBN:

9783540614883 [3540614885]
9783540686743 [3540686746]

書誌ID:

OB00287448

子書誌情報

フルテキスト

所蔵情報

書誌詳細

言語:

英語

東工大ブックレビュー

類似資料:

1 図書 Reasoning with logic programming Alferes, José Júlio, Pereira, Luís Moniz Springer	7 図書 Logics in artificial intelligence : European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings JELIA, MacNish, Craig, Pearce, David A., 1952-, Pereira, Luís Moniz Springer-Verlag
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 図書 Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers International Conference on Logic Programming, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-, Gupta, G., 1963-, … Springer-Verlag
3 電子ブック Logics in Artificial Intelligence 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	9 電子ブック Logics in Artificial Intelligence European Workshop JELIA '94, MacNish, Craig, Pearce, David A., Pereira, Luís Moniz SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
4 電子ブック Non-Monotonic Extensions of Logic Programming Dix, Jürgen, Pereira, Luís Moniz, Przymusinski, Teodor C. SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg	10 図書 Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 ; proceedings JELIA, Alferes, José Júlio, Leite, João Springer
5 図書 Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers International Workshop LPKR, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947- Springer	11 電子ブック Functional and Constraint Logic Programming Mariño, Julio, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
6 図書 Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers NMELP, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947- Springer	12 電子ブック Principles and Practice of Semantic Web Reasoning Alferes, Jóse Júlio, Bailey, James, Kanade, Takeo, May, Wolfgang, Schwertel, Uta Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12