>> Amazon.co.jp
このページのQRコード

Nonmonotonic logic : context-dependent reasoning

種類:
図書
責任表示:
V. Wiktor Marek, M. Truszczyński
出版情報:
Berlin ; New York : Springer, c1993
著者名:
シリーズ名:
Artificial intelligence <BA14044981>
ISBN:
9783540564485 [3540564489] (: gw)  CiNii Books  Calil
9780387564487 [0387564489] (: us)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Clausal form logic : an introduction to the logic of computer reasoning

Richards, Tom

Addison-Wesley Pub. Co.
7 図書 Nonmonotonic reasoning and uncertain reasoning

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

Clarendon Press, Oxford University Press
2 図書 Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings

LPNMR, Marek, Wiktor, Nerode, Anil, 1932-, Truszczyński, Mirosław

Springer Verlag
8 図書 Philosophy and AI : essays at the interface

Cummins, Robert, Pollock, John L.

MIT Press
3 図書 Reasoning with incomplete information

Etherington, David W.

Pitman, M. Kaufmann Publishers
9 図書 Critical thinking : an introduction to reasoning

Dauer, Francis Watanabe

Oxford University Press
4 図書 Reasoning and revision in hybrid representation systems

Nebel, Bernhard, 1956-

Springer Verlag
10 図書 Logic programming and non-monotonic reasoning : proceedings of the first international workshop

Nerode, Anil, 1932-, Marek, Wiktor, Subrahmanian, V. S., Association for Logic Programming

MIT Press
5 電子ブック Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95 Lexington, KY, USA, June 26–28, 1995 Proceedings

Marek, V. Wiktor, Nerode, Anil, Truszczyński, M., SpringerLink (Online service)

Springer-Verlag
11 図書 A perspective of constraint-based reasoning : an introductory tutorial

Güsgen, Hans Werner, 1959-, Hertzberg, J. (Joachim), 1958-

Springer-Verlag
6 電子ブック Logic Programming and Nonmonotonic Reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Marek, V. Wiktor., Nerode, Anil., Truszcynski, Miroslaw., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 図書 Logic and visual information

Hammer, Eric M., 1967-

CSLI Publications, FoLLI