>> Google Books
タイトル、所在を表示します

The classical decision problem

フォーマット:
図書
責任表示:
Egon Börger, Erich Grädel, Yuri Gurevich
言語:
英語
出版情報:
Berlin ; Tokyo : Springer, c1997
形態:
xii, 482 p. ; 24 cm
著者名:
シリーズ名:
Perspectives in mathematical logic <BA00027452>
書誌ID:
BA29190014
ISBN:
9780387570730 [038757073X]
9783540570738 [354057073X] (: gw)
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料
1. The classical decision problem
Egon Börger, Erich Grädel, Yuri Gurevich , Springer , 2001

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 The classical decision problem

Boerger, Egon, 1946-, Grädel, Erich, 1958-, Gurevich, Yuri

Springer
7 図書 Tests and proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 : revised papers

TAP, Gurevich, Yuri, Meyer, Bertrand, 1950-

Springer
2 図書 The undecidability of the domino problem

Berger, Robert, 1938-

American Mathematical Society
8 図書 Decidability and Boolean representations

Burris, Stanley, McKenzie, Ralph N.

American Mathematical Society
3 図書 Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Workshop on Computer Science Logic, Börger, Egon, 1946-, Gurevich, Yuri, Meinke, K. (Karl)

Springer-Verlag
9 図書 An Aid to solving problems in strength of materials

Mirolyubov, I. N., Ermolyev, Yuri

Mir
4 図書 Automata logics, and infinite games : a guide to current research

Grädel, Erich, 1958-, Thomas, Wolfgang, 1947-, Wilke, Thomas, 1965-

Springer
10 図書 The problem of integrable discretization : Hamiltonian approach

Suris, Yuri B.

Birkhäuser Verlag
5 図書 Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings

ASM, Gurevich, Yuri

Springer-Verlag
11 図書 Trends in theoretical computer science

Börger, Egon, 1946-

Computer Science Press
6 図書 Cohomological and geometric approaches to rationality problems : new perspectives

Bogomolov, Fedor, 1946-, Tschinkel, Yuri

Birkhäuser
12 図書 Computation theory and logic

Börger, Egon, 1946-

Springer-Verlag