Logic and automata : history and perspectives / / edited by Jorg Flum, Erich Gradel, and Thomas Wilke.
Saved in:
Superior document: | Texts in logic and games ; v. 2 |
---|---|
: | |
TeilnehmendeR: | |
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 |