Degrees of unsolvability
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Dokumenttyp: | Kapitel/Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
2014
|
| In: |
Handbook of the history of logic ; 9: Computational logic
Year: 2014, Pages: 443-494 |
| DOI: | 10.1016/B978-0-444-51624-4.50010-1 |
| Online-Zugang: | Verlag, Volltext: http://dx.doi.org/10.1016/B978-0-444-51624-4.50010-1
|
| Verfasserangaben: | Klaus Ambos-Spies and Peter A. Fejer |
MARC
| LEADER | 00000caa a22000002c 4500 | ||
|---|---|---|---|
| 001 | 1545791848 | ||
| 003 | DE-627 | ||
| 005 | 20220813031112.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 160808s2014 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1016/B978-0-444-51624-4.50010-1 |2 doi | |
| 035 | |a (DE-627)1545791848 | ||
| 035 | |a (DE-576)475791843 | ||
| 035 | |a (DE-599)BSZ475791843 | ||
| 035 | |a (OCoLC)1340927261 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rda | ||
| 041 | |a eng | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Ambos-Spies, Klaus |d 1951- |e VerfasserIn |0 (DE-588)141551607 |0 (DE-627)629951861 |0 (DE-576)16006810X |4 aut | |
| 245 | 1 | 0 | |a Degrees of unsolvability |c Klaus Ambos-Spies and Peter A. Fejer |
| 264 | 1 | |c 2014 | |
| 300 | |a 52 | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 500 | |a Gesehen am 08.08.2016 | ||
| 700 | 1 | |a Fejer, Peter A. |e VerfasserIn |4 aut | |
| 773 | 0 | 8 | |i Enthalten in |t Handbook of the history of logic ; 9: Computational logic |d Amsterdam] : Elsevier, 2014 |g (2014), Seite 443-494 |h Online Ressource (XII, 734 S.) |w (DE-627)1504137841 |w (DE-576)434137847 |z 9780080930671 |z 0080930670 |z 1322477175 |z 9781322477176 |7 nnam |a Degrees of unsolvability |
| 773 | 1 | 8 | |g year:2014 |g pages:443-494 |g extent:52 |a Degrees of unsolvability |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1016/B978-0-444-51624-4.50010-1 |x Verlag |x Resolving-System |3 Volltext |
| 951 | |a AR | ||
| 992 | |a 20160808 | ||
| 993 | |a BookComponentPart | ||
| 994 | |a 2014 | ||
| 998 | |g 141551607 |a Ambos-Spies, Klaus |m 141551607:Ambos-Spies, Klaus |d 110000 |d 110300 |e 110000PA141551607 |e 110300PA141551607 |k 0/110000/ |k 1/110000/110300/ |p 1 |x j | ||
| 999 | |a KXP-PPN1545791848 |e 293618780X | ||
| BIB | |a Y | ||
| JSO | |a {"language":["eng"],"recId":"1545791848","type":{"media":"Online-Ressource","bibl":"chapter"},"note":["Gesehen am 08.08.2016"],"person":[{"family":"Ambos-Spies","given":"Klaus","roleDisplay":"VerfasserIn","display":"Ambos-Spies, Klaus","role":"aut"},{"role":"aut","display":"Fejer, Peter A.","roleDisplay":"VerfasserIn","given":"Peter A.","family":"Fejer"}],"title":[{"title":"Degrees of unsolvability","title_sort":"Degrees of unsolvability"}],"relHost":[{"origin":[{"publisherPlace":"Amsterdam]","dateIssuedDisp":"2014","publisher":"Elsevier","dateIssuedKey":"2014"}],"id":{"isbn":["9780080930671","0080930670","1322477175","9781322477176","0444516247","9780444516244"],"eki":["1504137841"]},"physDesc":[{"extent":"Online Ressource (XII, 734 S.)","noteIll":"graph. Darst."}],"relMultPart":[{"id":{"isbn":["9780444515964","0444515968"],"eki":["1345205406"]},"title":[{"title_sort":"Handbook of the history of logic","title":"Handbook of the history of logic"}],"origin":[{"dateIssuedDisp":"20XX-","publisher":"Elsevier [u.a.]","publisherPlace":"Amsterdam ; Heidelberg [u.a.]"}],"name":{"displayForm":["ed. by Dov M. Gabbay ..."]},"ga":1,"person":[{"family":"Gabbay","given":"Dov M.","roleDisplay":"Hrsg.","display":"Gabbay, Dov M.","role":"edt"}],"part":{"number":["9"],"number_sort":["9"]},"recId":"1345205406","language":["eng"],"type":{"bibl":"edited-book","media":"Online-Ressource"}}],"person":[{"display":"Gabbay, Dov M.","roleDisplay":"Hrsg.","role":"edt","family":"Gabbay","given":"Dov M."},{"roleDisplay":"Hrsg.","display":"Siekmann, Jörg","role":"edt","family":"Siekmann","given":"Jörg"},{"role":"edt","roleDisplay":"Hrsg.","display":"Woods, John","given":"John","family":"Woods"}],"title":[{"title":"Computational logic / volume editor, Dov M. Gabbay, Jörg H. Siekmann, John Woods"}],"type":{"media":"Online-Ressource","bibl":"book"},"note":["Print version record"],"disp":"Degrees of unsolvabilityHandbook of the history of logic ; 9: Computational logic","recId":"1504137841","language":["eng"],"part":{"text":"(2014), Seite 443-494","extent":"52","year":"2014","pages":"443-494"}}],"physDesc":[{"extent":"52 S."}],"name":{"displayForm":["Klaus Ambos-Spies and Peter A. Fejer"]},"id":{"eki":["1545791848"],"doi":["10.1016/B978-0-444-51624-4.50010-1"]},"origin":[{"dateIssuedDisp":"2014","dateIssuedKey":"2014"}]} | ||
| SRT | |a AMBOSSPIESDEGREESOFU2014 | ||