The classical decision problem

>> Amazon.co.jp

このページのQRコード

The classical decision problem

種類:

図書

責任表示:

Egon Börger, Erich Grädel, Yuri Gurevich

出版情報:

Berlin ; Tokyo : Springer, c1997

著者名:

シリーズ名:

Perspectives in mathematical logic <BA00027452>

ISBN:

9780387570730 [038757073X]

9783540570738 [354057073X] (: gw)

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Decidability (Mathematical logic)
分類・件名:	LCC : QA9.65 DDC : 511.3 LCSH : Decidability (Mathematical logic)
TTLL:	eng
言語:	英語
形態:	xii, 482 p. ; 24 cm
書誌ID:	BA29190014

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 Solvable cases of the decision problem Ackermann, Wilhelm, 1896- North-Holland
2 電子ブック Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers Börger, Egon, Gurevich, Yuri, Meinke, Karl, SpringerLink (Online service) Springer-Verlag	8 図書 Resolution methods for the decision problem Fermüller, C. (Christian), 1963- Springer-Verlag
3 電子ブック Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers Börger, Egon., Gurevich, Yuri., Meinke, Karl., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 電子ブック Resolution Methods for the Decision Problem Fermüller, C., Leitsch, A., Tammet, T., Zamov, N., SpringerLink (Online service) Springer-Verlag
4 図書 Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für … Symposium "Rekursive Kombinatorik", Börger, Egon, 1946-, Hasenjaeger, G. (Gisbert), 1919-, Rödding, D. (Dieter), 1937- Springer-Verlag	10 電子ブック Resolution Methods for the Decision Problem Fermüller, C., Leitsch, A., Tammet, Tanel., Zamov, Nail., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
5 図書 Automata logics, and infinite games : a guide to current research Grädel, Erich, 1958-, Thomas, Wolfgang, 1947-, Wilke, Thomas, 1965- Springer	11 図書 CLASSICAL PROBLEMS IN NUMBER THEORY NARKIEWICZ, WLADYSLAW POLISH SCIENTIFIC PUB.
6 図書 Solvable cases of the decision problem Ackermann, Wilhelm North-Holland	12 図書 ERGODIC PROBLEMS OF CLASSICAL MECHANICS ARNOLD, V. I., AVZ, A. ADDISON-WESLEY PUB.