大葉大學圖書館 |

登入

回首頁

Logic and automata :history and pers...

Flum, Jörg.

Logic and automata :history and perspectives /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.13/1
書名/作者:	Logic and automata : : history and perspectives // edited by Jörg Flum, Erich Grädel, Thomas Wilke.
其他作者:	Flum, Jörg.
出版者:	[Amsterdam] : : Amsterdam University Press,, c2008.
面頁冊數:	736 p. : : ill. ;; 24 cm.
附註:	" ... occasion of the 60th birthday of Wolfgang Thomas to present a tour d'horizon on automata theory and logic"--P. [4] of cover.
標題:	Machine theory.
標題:	Logic, Symbolic and mathematical.
標題:	Computer science - Mathematics.
標題:	Computational complexity.
ISBN:	9789053565766 (pbk.) :
書目註:	Includes bibliographical references.
電子資源:	http://www.loc.gov/catdir/enhancements/fy1004/2008464788-b.html
電子資源:	http://www.loc.gov/catdir/enhancements/fy1004/2008464788-d.html
電子資源:	http://www.loc.gov/catdir/enhancements/fy1004/2008464788-t.html

Logic and automata :history and perspectives /
Logic and automata :history and perspectives /edited by Jörg Flum, Erich Grädel, Thomas Wilke. - [Amsterdam] :Amsterdam University Press,c2008. - 736 p. :ill. ;24 cm. - Texts in logic and games ;v. 2.

" ... occasion of the 60th birthday of Wolfgang Thomas to present a tour d'horizon on automata theory and logic"--P. [4] of cover.

Includes bibliographical references.

ISBN: 9789053565766 (pbk.) :NTD 1,998

LCCN: 2008464788Subjects--Topical Terms:

173754
Machine theory.

LC Class. No.: QA267 / .L624 2008

Dewey Class. No.: 005.13/1

Logic and automata :history and perspectives /
LDR:01114cam a2200229 a 4500 001 487419
005 20100216083416.0
008 200620s2008 ne a b 010 0 eng d
010 $a 2008464788
020 $a 9789053565766 (pbk.) : $c NTD 1,998
040 $a BTCTA $c BTCTA $d BAKER $d YDXCP $d ERASA $d BWX $d OCLCQ $d DLC $d DYU
041 0 $a eng
050 0 0 $a QA267 $b .L624 2008
082 0 4 $a 005.13/1 $2 23
245 0 0 $a Logic and automata : $b history and perspectives / $c edited by Jörg Flum, Erich Grädel, Thomas Wilke.
260 $a [Amsterdam] : $b Amsterdam University Press, $c c2008.
300 $a 736 p. : $b ill. ; $c 24 cm.
490 0 $a Texts in logic and games ; $v v. 2
500 $a " ... occasion of the 60th birthday of Wolfgang Thomas to present a tour d'horizon on automata theory and logic"--P. [4] of cover.
504 $a Includes bibliographical references.
650 0 $a Machine theory. $3 173754
650 0 $a Logic, Symbolic and mathematical. $3 381130
650 0 $a Computer science $x Mathematics. $3 382369
650 0 $a Computational complexity. $3 393856
700 1 $a Flum, Jörg. $3 704597
700 1 $a Grädel, Erich, $d 1958- $3 704598
700 1 $a Wilke, Thomas, $d 1965- $3 704599
856 4 2 $3 Contributor biographical information $u http://www.loc.gov/catdir/enhancements/fy1004/2008464788-b.html
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy1004/2008464788-d.html
856 4 1 $3 Table of contents only $u http://www.loc.gov/catdir/enhancements/fy1004/2008464788-t.html

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

附件

80081137

四樓西文圖書區

1.圖書流通

圖書

005.131 L832

1.一般(Normal)

在架

1 筆 • 頁數 1 •
1

多媒體

多媒體檔案
http://www.loc.gov/catdir/enhancements/fy1004/2008464788-b.html
http://www.loc.gov/catdir/enhancements/fy1004/2008464788-d.html
http://www.loc.gov/catdir/enhancements/fy1004/2008464788-t.html

評論

新增評論分享你的心得

Export

取書館別