>> Google Books

Logic grammars

フォーマット:
図書
責任表示:
Harvey Abramson, Veronica Dahl
言語:
英語
出版情報:
New York ; Tokyo : Springer-Verlag, c1989
形態:
xiv, 234 p. : ill. ; 25 cm
著者名:
シリーズ名:
Symbolic computation ; . Artificial intelligence <BA00327525>
書誌ID:
BA07033420
ISBN:
9780387969619 [0387969616] (: New York)  CiNii Books  Webcat Plus  Google Books
9783540969617 [3540969616] (: Berlin)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Meta-programming in logic programming

Abramson, Harvey, Rogers, M. H., 1930-

MIT Press
7 図書 Logic and computer science

Odifreddi, Piergiorgio, 1950-

Academic Press
2 図書 Logic programming

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

Clarendon Press
8 図書 Parallel computers : object-oriented, functional, logic

Treleaven, Philip C., 1950-

Wiley
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 図書 Autonomous, model-based diagnosis agents

Schroeder, Michael

Kluwer Academic
4 図書 Termination proofs for logic programs

Plümer, Lutz, 1951-

Springer-Verlag
10 図書 Fril -- fuzzy and evidential reasoning in artificial intelligence

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

Research Studies Press
5 図書 An introduction to default logic

Besnard, Philippe

Springer-Verlag
11 図書 Epistemic and temporal reasoning

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

Clarendon Press, Oxford University Press
6 図書 From modal logic to deductive databases : introducing a logic based approach to artificial intelligence

Thayse, André, 1940-, Gochet, Paul

Wiley
12 図書 Deduction methodologies

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

Clarendon Press, Oxford University Press