Buchumschlag

Special issue: computability in Europe 2009: [... Conference CiE 2009: mathematical theory and computational practice ... Fifth Conference on Computability in Europe ... Heidelberg, Germany, in July 2009 ... 10 papers]

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Ambos-Spies, Klaus (HerausgeberIn) , Löwe, Benedikt (HerausgeberIn)
Dokumenttyp: Konferenzschrift
Sprache:Englisch
Veröffentlicht: Oxford Oxford Univ. Press 2013
Schriftenreihe:Journal of logic and computation 23.2013,4
Annals of pure and applied logic 163.2012,5
Theory of computing systems 51.2012,1
In: Journal of logic and computation (23.2013,4)

Schlagworte:
Konferenzschrift
Online-Zugang: Volltext
Verfasserangaben:[guest ed: Klaus Ambos-Spies ...]

MARC

LEADER 00000cam a2200000 c 4500
001 756493250
003 DE-627
005 20250328180444.0
007 tu
008 130806s2013 xxk||||| 00| ||eng c
035 |a (DE-627)756493250 
035 |a (DE-576)9756493259 
035 |a (DE-599)GBV756493250 
035 |a (OCoLC)931338462 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XA-GB 
084 |a 28  |2 sdnb 
245 0 0 |a Special issue: computability in Europe 2009  |b [... Conference CiE 2009: mathematical theory and computational practice ... Fifth Conference on Computability in Europe ... Heidelberg, Germany, in July 2009 ... 10 papers]  |c [guest ed: Klaus Ambos-Spies ...] 
264 1 |a Oxford  |b Oxford Univ. Press  |c 2013 
300 |a S. 727 - 924 
336 |a Text  |b txt  |2 rdacontent 
337 |a ohne Hilfsmittel zu benutzen  |b n  |2 rdamedia 
338 |a Band  |b nc  |2 rdacarrier 
490 1 |a Journal of logic and computation  |v 23.2013,4 
490 1 |a Annals of pure and applied logic  |v 163.2012,5 
490 1 |a Theory of computing systems  |v 51.2012,1 
583 1 |a Archivierung prüfen  |c 20240324  |f DE-4165  |z 1  |2 pdager 
583 1 |a Archivierung/Langzeitarchivierung gewährleistet  |c 20240722  |f NI-LastCopies  |x XA-DE-NI  |z Potenzieller Alleinbesitz Niedersachsen  |2 pdager  |5 DE-89 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
700 1 |a Ambos-Spies, Klaus  |d 1951-  |e Hrsg.  |0 (DE-588)141551607  |0 (DE-627)629951861  |0 (DE-576)16006810X  |4 edt 
700 1 |a Löwe, Benedikt  |d 1972-  |e Hrsg.  |0 (DE-588)1026813506  |0 (DE-627)727456857  |0 (DE-576)372144403  |4 edt 
830 0 |a Journal of logic and computation  |v 23.2013,4  |9 2013,0023,04  |w (DE-627)130891975  |w (DE-576)023127864  |w (DE-600)1041082-X  |x 0955-792X  |7 am 
830 0 |a Annals of pure and applied logic  |v 163.2012,5  |9 2012,0163,05  |w (DE-627)129575968  |w (DE-576)015071162  |w (DE-600)230447-8  |x 0003-4843  |7 am 
830 0 |a Theory of computing systems  |v 51.2012,1  |9 2012,0051,01  |w (DE-627)222610387  |w (DE-576)056755198  |w (DE-600)1355722-1  |x 1432-4350  |7 am 
951 |a BO 
992 |a 20230417 
994 |a 2010 
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-PPN756493250  |e 4309908209 
BIB |a Y 
SER |a journal 
JSO |a {"id":{"eki":["756493250"]},"origin":[{"publisherPlace":"Oxford","dateIssuedDisp":"2013","publisher":"Oxford Univ. Press","dateIssuedKey":"2013"}],"relSeries":[{"title":[{"title_sort":"Journal of logic and computation","title":"Journal of logic and computation"}],"pubHistory":["1.1990/91-volume 30, number 8 (December 2020)"],"part":{"number":["23.2013,4"],"number_sort":["2013,0023,04"]},"type":{"bibl":"periodical"},"note":["2021 fortgesetzt als Online-Ausgabe"],"disp":"Journal of logic and computation","recId":"130891975","language":["eng"],"origin":[{"dateIssuedDisp":"[1990-2020]","publisher":"Oxford Univ. Press","publisherPlace":"Eynsham, Oxford"}],"id":{"eki":["130891975"],"zdb":["1041082-X"],"issn":["0955-792X"]},"dispAlt":"Journal of logic and computation"},{"origin":[{"publisher":"Elsevier ; North-Holland Publ. Co.","dateIssuedKey":"1983","dateIssuedDisp":"1983-","publisherPlace":"Amsterdam [u.a.] ; Amsterdam"}],"title":[{"title":"Annals of pure and applied logic","title_sort":"Annals of pure and applied logic"}],"id":{"issn":["0003-4843","0168-0072"],"eki":["129575968"],"zdb":["230447-8"]},"pubHistory":["24.1983 -"],"dispAlt":"Annals of pure and applied logic","part":{"number":["163.2012,5"],"number_sort":["2012,0163,05"]},"disp":"Journal of logic and computation","type":{"bibl":"periodical"},"language":["eng"],"recId":"129575968"},{"recId":"222610387","language":["und"],"disp":"Journal of logic and computation","type":{"bibl":"periodical"},"part":{"number":["51.2012,1"],"number_sort":["2012,0051,01"]},"dispAlt":"Theory of computing systems","pubHistory":["30.1997 -"],"id":{"eki":["222610387"],"zdb":["1355722-1"],"issn":["1432-4350"]},"title":[{"title":"Theory of computing systems","title_sort":"Theory of computing systems"}],"origin":[{"publisherPlace":"New York, NY ; New York, NY ; Heidelberg ; Berlin","dateIssuedKey":"1997","publisher":"Springer ; Springer","dateIssuedDisp":"1997-"}]}],"title":[{"title":"Special issue: computability in Europe 2009","subtitle":"[... Conference CiE 2009: mathematical theory and computational practice ... Fifth Conference on Computability in Europe ... Heidelberg, Germany, in July 2009 ... 10 papers]","title_sort":"Special issue: computability in Europe 2009"}],"name":{"displayForm":["[guest ed: Klaus Ambos-Spies ...]"]},"person":[{"family":"Ambos-Spies","given":"Klaus","roleDisplay":"Hrsg.","display":"Ambos-Spies, Klaus","role":"edt"},{"role":"edt","display":"Löwe, Benedikt","roleDisplay":"Hrsg.","given":"Benedikt","family":"Löwe"}],"language":["eng"],"recId":"756493250","physDesc":[{"extent":"S. 727 - 924"}],"type":{"bibl":"edited-book"}} 
SRT |a SPECIALISS2013 

Ähnliche Einträge