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

Logical methods : in honor of Anil Nerode's sixtieth birthday

種類:
図書
責任表示:
John N. Crossley ... [et al.], editors
出版情報:
Boston : Birkhäuser, 1993
著者名:
シリーズ名:
Progress in computer science and applied logic ; v. 12 <BA07712819>
ISBN:
9780817636906 [0817636900] (: us)  CiNii Books  Calil
9783764336905 [3764336900] (: sz)  CiNii Books  Calil
注記:
"A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University 1-3 June 1992" -- Pref
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logical foundations

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

Clarendon Press, Oxford University Press
7 図書 Logic for computer scientists

Schöning, Uwe, 1955-

Birkhäuser
2 図書 Deduction methodologies

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

Clarendon Press, Oxford University Press
8 図書 Meta-logics and logic programming

Apt, Krzysztof R., 1949-, Turini, Franco, 1949-

MIT Press
3 図書 Nonmonotonic reasoning and uncertain reasoning

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

Clarendon Press, Oxford University Press
9 図書 A resolution principle for a logic with restricted quantifiers

Bürckert, Hans-Jürgen

Springer Verlag
4 図書 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
10 図書 The concept of logical consequence

Etchemendy, John, 1952-

Harvard University Press
5 図書 Topological methods in modern mathematics : a Symposium in Honor of John Milnor's Sixtieth Birthday

Goldberg, Lisa R., Phillips, Anthony V. (Anthony Valiant), 1938-, Milnor, John Willard, 1931-, Symposium in Honor of &hellip;

Publish or Perish
11 図書 Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht

Ehrenfeucht, Andrzej, Mycielski, Jan, 1932-, Rozenberg, Grzegorz, Salomaa, Arto, 1934-

Springer
6 図書 Computational logic : essays in honor of Alan Robinson

Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946-

MIT Press
12 図書 Logic-based methods for optimization : combining optimization and constraint satisfaction

Hooker, John, 1949-

John Wiley & Sons