大葉大學圖書館 |

Language: English

Back

Logic and automata :history and pers...

Flum, Jörg.

Logic and automata :history and perspectives /

Record Type:	Language materials, printed : Monograph/item
[NT 15000414]:	005.13/1
Title/Author:	Logic and automata : : history and perspectives // edited by Jörg Flum, Erich Grädel, Thomas Wilke.
other author:	Flum, Jörg.
Published:	[Amsterdam] : : Amsterdam University Press,, c2008.
Description:	736 p. : : ill. ;; 24 cm.
Notes:	" ... occasion of the 60th birthday of Wolfgang Thomas to present a tour d'horizon on automata theory and logic"--P. [4] of cover.
Subject:	Machine theory.
Subject:	Logic, Symbolic and mathematical.
Subject:	Computer science - Mathematics.
Subject:	Computational complexity.
ISBN:	9789053565766 (pbk.) :
[NT 15000227]:	Includes bibliographical references.
Online resource:	http://www.loc.gov/catdir/enhancements/fy1004/2008464788-b.html
Online resource:	http://www.loc.gov/catdir/enhancements/fy1004/2008464788-d.html
Online resource:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

80081137

四樓西文圖書區

1.圖書流通

圖書(book)

005.131 L832

1.一般(Normal)

On shelf

1 records • Pages 1 •
1

Multimedia

Multimedia file
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

Reviews

Add a review and share your thoughts with other readers

Export

pickup library