Logic and automata history and perspectives
(eBook)
Published
Amsterdam : Amsterdam University Press, c2008.
Physical Desc
736 pages : ill.
Status
More Details
Format
eBook
Language
English
Notes
Bibliography
Includes bibliographical references.
Reproduction
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Description
Loading Description...
Also in this Series
Checking series information...
Citations
APA Citation, 7th Edition (style guide)
Flum, J., Grädel, E., & Wilke, T. (2008). Logic and automata: history and perspectives . Amsterdam University Press.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Flum, Jörg, Erich Grädel and Thomas Wilke. 2008. Logic and Automata: History and Perspectives. Amsterdam University Press.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Flum, Jörg, Erich Grädel and Thomas Wilke. Logic and Automata: History and Perspectives Amsterdam University Press, 2008.
MLA Citation, 9th Edition (style guide)Flum, Jörg., Erich Grädel, and Thomas Wilke. Logic and Automata: History and Perspectives Amsterdam University Press, 2008.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Grouped Work ID
d7087fb8-c880-5e29-e5e3-70d68682900b-eng
Grouping Information
Grouped Work ID | d7087fb8-c880-5e29-e5e3-70d68682900b-eng |
---|---|
Full title | logic and automata history and perspectives |
Author | jörg flum erich grädel and thomas wilke |
Grouping Category | book |
Last Update | 2022-06-07 21:23:19PM |
Last Indexed | 2024-04-24 05:12:55AM |
Book Cover Information
Image Source | default |
---|---|
First Loaded | Jan 23, 2024 |
Last Used | Jan 26, 2024 |
Marc Record
First Detected | Aug 09, 2021 12:04:15 PM |
---|---|
Last File Modification Time | Nov 22, 2021 07:47:12 AM |
MARC Record
LEADER | 01896nam a2200445 a 4500 | ||
---|---|---|---|
001 | EBC419849 | ||
003 | MiAaPQ | ||
006 | m E | | ||
007 | cr cn||||||||| | ||
008 | 091013s2008 ne a sb 000 0 eng d | ||
020 | |z 9789053565766 | ||
020 | |z 9789048501281 | ||
035 | |a (Sirsi) EBC419849 | ||
035 | |a (Sirsi) EBC419849 | ||
035 | |a (MiAaPQ)EBC419849 | ||
035 | |a (Au-PeEL)EBL419849 | ||
035 | |a (CaPaEBR)ebr10302747 | ||
035 | |a (OCoLC)232968063 | ||
040 | |a MiAaPQ|c MiAaPQ|d MiAaPQ | ||
050 | 4 | |a QA267|b .L64 2008 | |
245 | 0 | 0 | |a Logic and automata|h [eBook] :|b history and perspectives /|c edited by Jörg Flum, Erich Grädel, and Thomas Wilke. |
260 | |a Amsterdam :|b Amsterdam University Press,|c c2008. | ||
300 | |a 736 p. :|b ill. | ||
490 | 1 | |a Texts in logic and games ;|v v. 2 | |
504 | |a Includes bibliographical references. | ||
533 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
650 | 0 | |a Machine theory. | |
650 | 0 | |a Logic, Symbolic and mathematical. | |
650 | 0 | |a Computer science|x Mathematics. | |
650 | 0 | |a Computational complexity. | |
655 | 4 | |a Electronic books. | |
700 | 1 | |a Flum, Jörg. | |
700 | 1 | |a Grädel, Erich,|d 1958- | |
700 | 1 | |a Wilke, Thomas,|d 1965- | |
710 | 2 | |a ProQuest (Firm) | |
830 | 0 | |a Texts in logic and games ;|v v. 2. | |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=419849|x Yavapai College|y Yavapai College users click here to access |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=419849|x Prescott College|y Prescott College users click here to access |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=419849|x Yavapai Library Network|y All other users click here to access |
945 | |a E-Book |