Inductive inference and computable numberings
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Dokumenttyp: | Article (Journal) |
| Sprache: | Englisch |
| Veröffentlicht: |
2011
|
| In: |
Theoretical computer science
Year: 2011, Jahrgang: 412, Heft: 18, Pages: 1652-1668 |
| ISSN: | 1879-2294 |
| DOI: | 10.1016/j.tcs.2010.12.041 |
| Online-Zugang: | Resolving-System, Volltext: http://dx.doi.org/10.1016/j.tcs.2010.12.041
|
| Verfasserangaben: | Klaus Ambos-Spies; Serikzhan Badaev; Sergey Goncharov |
MARC
| LEADER | 00000caa a22000002c 4500 | ||
|---|---|---|---|
| 001 | 1473890322 | ||
| 003 | DE-627 | ||
| 005 | 20220811073958.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 140414s2011 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1016/j.tcs.2010.12.041 |2 doi | |
| 035 | |a (DE-627)1473890322 | ||
| 035 | |a (DE-576)403890322 | ||
| 035 | |a (DE-599)BSZ403890322 | ||
| 035 | |a (OCoLC)1340636676 | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 084 | |a 28 |2 sdnb | ||
| 100 | 1 | |a Ambos-Spies, Klaus |d 1951- |0 (DE-588)141551607 |0 (DE-627)629951861 |0 (DE-576)16006810X |4 aut | |
| 245 | 1 | 0 | |a Inductive inference and computable numberings |c Klaus Ambos-Spies; Serikzhan Badaev; Sergey Goncharov |
| 264 | 1 | |c 2011 | |
| 300 | |a 17 | ||
| 336 | |a Text |b txt |2 rdacontent | ||
| 337 | |a Computermedien |b c |2 rdamedia | ||
| 338 | |a Online-Ressource |b cr |2 rdacarrier | ||
| 700 | 1 | |a Badaev, Serikzhan |0 (DE-627)125695814X |0 (DE-576)186958145 |4 aut | |
| 700 | 1 | |a Gončarov, Sergej S. |0 (DE-627)1248052048 |0 (DE-576)178052043 |4 aut | |
| 773 | 0 | 8 | |i In |t Theoretical computer science |d Amsterdam [u.a.] : Elsevier, 1975 |g 412(2011), 18, Seite 1652-1668 |h Online-Ressource |w (DE-627)265784174 |w (DE-600)1466347-8 |w (DE-576)074891030 |x 1879-2294 |7 nnas |a Inductive inference and computable numberings |
| 773 | 1 | 8 | |g volume:412 |g year:2011 |g number:18 |g pages:1652-1668 |g extent:17 |a Inductive inference and computable numberings |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1016/j.tcs.2010.12.041 |x Resolving-System |3 Volltext |
| 951 | |a AR | ||
| 992 | |a 20140414 | ||
| 993 | |a Article | ||
| 994 | |a 2011 | ||
| 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-PPN1473890322 |e 2793240656 | ||
| BIB | |a Y | ||
| SER | |a journal | ||
| JSO | |a {"physDesc":[{"extent":"17 S."}],"type":{"bibl":"article-journal","media":"Online-Ressource"},"relHost":[{"origin":[{"publisherPlace":"Amsterdam [u.a.]","publisher":"Elsevier","dateIssuedKey":"1975","dateIssuedDisp":"1975-"}],"id":{"eki":["265784174"],"zdb":["1466347-8"],"issn":["1879-2294"]},"physDesc":[{"extent":"Online-Ressource"}],"title":[{"title":"Theoretical computer science","subtitle":"the journal of the EATCS","title_sort":"Theoretical computer science"}],"pubHistory":["1.1975/76 - 412.2011; Vol. 413.2012 -"],"part":{"text":"412(2011), 18, Seite 1652-1668","volume":"412","extent":"17","year":"2011","issue":"18","pages":"1652-1668"},"note":["Gesehen am 12.04.23"],"type":{"media":"Online-Ressource","bibl":"periodical"},"disp":"Inductive inference and computable numberingsTheoretical computer science","recId":"265784174","language":["eng"]}],"language":["eng"],"recId":"1473890322","origin":[{"dateIssuedDisp":"2011","dateIssuedKey":"2011"}],"title":[{"title_sort":"Inductive inference and computable numberings","title":"Inductive inference and computable numberings"}],"id":{"doi":["10.1016/j.tcs.2010.12.041"],"eki":["1473890322"]},"person":[{"given":"Klaus","family":"Ambos-Spies","role":"aut","display":"Ambos-Spies, Klaus"},{"family":"Badaev","given":"Serikzhan","display":"Badaev, Serikzhan","role":"aut"},{"display":"Gončarov, Sergej S.","role":"aut","family":"Gončarov","given":"Sergej S."}],"name":{"displayForm":["Klaus Ambos-Spies; Serikzhan Badaev; Sergey Goncharov"]}} | ||
| SRT | |a AMBOSSPIESINDUCTIVEI2011 | ||