>> Google Books
所蔵情報QRコード

Justification logic : reasoning with reasons / Sergei Artemov, Melvin Fitting

資料種別:
図書
出版情報:
Cambridge : Cambridge University Press, 2019
形態:
xxi, 247 p. ; 24 cm
シリーズ名:
Cambridge tracts in mathematics ; 216 <BA00134372>
著者名:
ISBN:
9781108424912 [1108424910] (: hardback)
書誌ID:
BB28170427
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Reasoning with incomplete information (uk. ; us.)

Etherington, David W.

Pitman, M. Kaufmann Publishers
7 図書 Practical reasoning about final ends (: pbk)

Richardson, Henry S.

Cambridge University Press
2 電子ブック Elements of logical reasoning (: electronic bk)

Von Plato, Jan
8 図書 Logic : techniques of formal reasoning

Kalish, Donald, Montague, Richard, 1930-1971

Harcourt, Brace & World
3 図書 Reasoning with logic programming

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

Springer
9 図書 Twelve papers on logic and algebra

Felʹdman, N. I.

American Mathematical Society
4 図書 Knowledge representation and defeasible reasoning

Kyburg, Henry Ely, 1928-, Loui, Ronald P., Carlson, Greg N., 1948-

Kluwer Academic Publishers
10 図書 Studies in logic

Peirce, Charles S. (Charles Sanders), 1839-1914, Johns Hopkins University

John Benjamins
5 図書 Knowledge representation and reasoning under uncertainty : logic at work (: gw ; : us)

Masuch, Michael, 1949-, Pólos, László

Springer-Verlag
11 図書 Five papers on logic and foundations

T︠S︡eĭtin, G. S.

American Mathematical Society
6 図書 Conventionalism in logic : a study in the linguistic foundation of logical reasoning

Giannoni, Carlo Borromeo

Mouton
12 図書 Vivid logic : knowledge-based reasoning with two kinds of negation (: us ; : gw)

Wagner, G. (Gerd), 1957-

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