>> Google Books

An introduction to default logic

フォーマット:
図書
責任表示:
Philippe Besnard
言語:
英語
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1989
形態:
xi, 208 p. ; 25 cm
著者名:
Besnard, Philippe <DA01261021>  
シリーズ名:
Symbolic computation ; . Artificial intelligence <BA00327525>
書誌ID:
BA07487621
ISBN:
9780387515663 [0387515666] (: us)  CiNii Books  Webcat Plus  Google Books
9783540515661 [3540515666] (: gw)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press
7 図書 Introduction to logic

Suppes, Patrick, 1922-

D. Van Nostrand
2 図書 Logic grammars

Abramson, Harvey, Dahl, Veronica, 1950-

Springer-Verlag
8 図書 Introduction to logic

Gamut, L. T. F.

University of Chicago Press
3 図書 Handbook of logic in artificial intelligence and logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
9 図書 Logic : a very short introduction

Priest, Graham

Oxford University Press
4 図書 Termination proofs for logic programs

Plümer, Lutz, 1951-

Springer-Verlag
10 図書 Autonomous, model-based diagnosis agents

Schroeder, Michael

Kluwer Academic
5 図書 From modal logic to deductive databases : introducing a logic based approach to artificial intelligence

Thayse, André, 1940-, Gochet, Paul

Wiley
11 図書 Fril -- fuzzy and evidential reasoning in artificial intelligence

Baldwin, J. F. (James Frederick), 1938-, Martin, T. P, Pilsworth, B. W

Research Studies Press
6 図書 Nonmonotonic logics : basic concepts, results, and techniques

Schlechta, Karl

Springer
12 図書 Epistemic and temporal reasoning

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press