Logic and automata : history and perspectives /

Logic and automata : history and perspectives / / edited by Jorg Flum, Erich Gradel, and Thomas Wilke.

Show other versions (1)
Saved in:
Bibliographic Details
Superior document:Texts in logic and games ; v. 2
:
ProQuest (Firm)
TeilnehmendeR:
Flum, Jorg.
Gradel, Erich, 1958-
Wilke, Thomas, 1965-
ProQuest (Firm)
Year of Publication:2008
Language:English
Series:Texts in logic and games ; v. 2.
Online Access:
Physical Description:736 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500419849
ctrlnum (MiAaPQ)500419849
(Au-PeEL)EBL419849
(CaPaEBR)ebr10302747
(OCoLC)232968063
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01471nam a2200397 a 4500</leader><controlfield tag="001">500419849</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">091013s2008 ne a sb 000 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789053565766</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789048501281</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500419849</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL419849</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10302747</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)232968063</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA267</subfield><subfield code="b">.L64 2008</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logic and automata</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">history and perspectives /</subfield><subfield code="c">edited by Jorg Flum, Erich Gradel, and Thomas Wilke.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam :</subfield><subfield code="b">Amsterdam University Press,</subfield><subfield code="c">c2008.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">736 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Texts in logic and games ;</subfield><subfield code="v">v. 2</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Machine theory.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computational complexity.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Flum, Jorg.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gradel, Erich,</subfield><subfield code="d">1958-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wilke, Thomas,</subfield><subfield code="d">1965-</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Texts in logic and games ;</subfield><subfield code="v">v. 2.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=419849</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Logic and automata [electronic resource] : history and perspectives / edited by Jorg Flum, Erich Gradel, and Thomas Wilke.
Amsterdam : Amsterdam University Press, c2008.
736 p. : ill.
Texts in logic and games ; v. 2
Includes bibliographical references.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Machine theory.
Logic, Symbolic and mathematical.
Computer science Mathematics.
Computational complexity.
Electronic books.
Flum, Jorg.
Gradel, Erich, 1958-
Wilke, Thomas, 1965-
ProQuest (Firm)
Texts in logic and games ; v. 2.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=419849 Click to View
language English
format Electronic
eBook
author2 Flum, Jorg.
Gradel, Erich, 1958-
Wilke, Thomas, 1965-
ProQuest (Firm)
author_facet Flum, Jorg.
Gradel, Erich, 1958-
Wilke, Thomas, 1965-
ProQuest (Firm)
ProQuest (Firm)
author2_variant j f jf
e g eg
t w tw
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Flum, Jorg.
title Logic and automata history and perspectives /
spellingShingle Logic and automata history and perspectives /
Texts in logic and games ;
title_sub history and perspectives /
title_full Logic and automata [electronic resource] : history and perspectives / edited by Jorg Flum, Erich Gradel, and Thomas Wilke.
title_fullStr Logic and automata [electronic resource] : history and perspectives / edited by Jorg Flum, Erich Gradel, and Thomas Wilke.
title_full_unstemmed Logic and automata [electronic resource] : history and perspectives / edited by Jorg Flum, Erich Gradel, and Thomas Wilke.
title_auth Logic and automata history and perspectives /
title_new Logic and automata
title_sort logic and automata history and perspectives /
series Texts in logic and games ;
series2 Texts in logic and games ;
publisher Amsterdam University Press,
publishDate 2008
physical 736 p. : ill.
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA267
callnumber-sort QA 3267 L64 42008
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=419849
illustrated Illustrated
oclc_num 232968063
work_keys_str_mv AT flumjorg logicandautomatahistoryandperspectives
AT gradelerich logicandautomatahistoryandperspectives
AT wilkethomas logicandautomatahistoryandperspectives
AT proquestfirm logicandautomatahistoryandperspectives
status_str n
ids_txt_mv (MiAaPQ)500419849
(Au-PeEL)EBL419849
(CaPaEBR)ebr10302747
(OCoLC)232968063
hierarchy_parent_title Texts in logic and games ; v. 2
hierarchy_sequence v. 2.
is_hierarchy_title Logic and automata history and perspectives /
container_title Texts in logic and games ; v. 2
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
noLinkedField
_version_ 1792330687229984768

Similar Items