Buchumschlag

Complexity, logic, and recursion theory

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Sorbi, Andrea (HerausgeberIn)
Dokumenttyp: Konferenzschrift Sammelband
Sprache:Englisch
Veröffentlicht: New York, NY [u.a.] Dekker 1997
Schriftenreihe:Lecture notes in pure and applied mathematics 187
In: Lecture notes in pure and applied mathematics (187)

Volumes / Articles: Show Volumes / Articles.
Schlagworte:
Konferenzschrift
Aufsatzsammlung
Rekursionstheorie
Berechnungskomplexität
Online-Zugang:Verlag, Verlagsangaben: http://www.loc.gov/catdir/enhancements/fy0647/96052019-d.html
Verlag, Inhaltsverzeichnis, Inhaltsverzeichnis: http://www.gbv.de/dms/hbz/toc/ht007489988.pdf
Verlag, Zentralblatt MATH, Inhaltstext: https://zbmath.org/?q=an:0865.00036
Volltext
Verfasserangaben:ed. by Andrea Sorbi

MARC

LEADER 00000cam a2200000 c 4500
001 223201987
003 DE-627
005 20250117225924.0
007 tu
008 970130s1997 xxu||||| 00| ||eng c
020 |a 0824700260  |c alk. paper  |9 0-8247-0026-0 
035 |a (DE-627)223201987 
035 |a (DE-576)058855181 
035 |a (DE-599)GBV223201987 
035 |a (OCoLC)833058596 
035 |a (OCoLC)246783474 
035 |a (OCoLC)36126853 
035 |a (DE-604)8113476647 
035 |a (ZBM)0865.00036 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XD-US  |c XA-CH  |c XB-HK 
050 0 |a QA267.7 
082 0 |a 511.3  |q LOC  |2 21 
084 |a 27  |2 sdnb 
084 |a 27  |2 sdnb 
084 |a SK 130  |2 rvk  |0 (DE-625)rvk/143216: 
084 |a SI 990  |2 rvk  |0 (DE-625)rvk/143213: 
084 |a *00B25  |2 msc 
084 |a 03-06  |2 msc 
084 |a 31.10  |2 bkl 
084 |a 54.10  |2 bkl 
245 0 0 |a Complexity, logic, and recursion theory  |c ed. by Andrea Sorbi 
264 1 |a New York, NY [u.a.]  |b Dekker  |c 1997 
300 |a VIII, 363 S  |b graph. Darst 
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 Lecture notes in pure and applied mathematics  |v 187 
500 |a "This book is a collection of refereed papers representing the research undertaken in the network "Complexity, Logic and Recursion Theory COLORET" (Contract No. ERBCHRXCT930415) of the Human Capital and Mobility European project. The activity of the network commenced on January 1, 1994, lasting three years and including three workshops (Amsterdam, Siena, and Barcelona)" 
500 |a Literaturangaben 
583 1 |a Archivierung prüfen  |c 20240324  |f DE-4165  |z 2  |2 pdager 
650 0 |a Computational complexity 
650 0 |a Recursion theory 
655 7 |a Konferenzschrift  |0 (DE-588)1071861417  |0 (DE-627)826484824  |0 (DE-576)433375485  |2 gnd-content 
655 7 |a Aufsatzsammlung  |0 (DE-588)4143413-4  |0 (DE-627)105605727  |0 (DE-576)209726091  |2 gnd-content 
689 0 0 |d s  |0 (DE-588)4134751-1  |0 (DE-627)104105984  |0 (DE-576)209654945  |a Berechnungskomplexität  |2 gnd 
689 0 1 |d s  |0 (DE-588)4122329-9  |0 (DE-627)105763241  |0 (DE-576)20955049X  |a Rekursionstheorie  |2 gnd 
689 0 |5 (DE-627) 
700 1 |a Sorbi, Andrea  |e Hrsg.  |4 edt 
830 0 |a Lecture notes in pure and applied mathematics  |v 187  |9 187  |w (DE-627)129300594  |w (DE-576)014493039  |w (DE-600)121984-4  |x 0075-8469  |7 am 
856 4 2 |u http://www.loc.gov/catdir/enhancements/fy0647/96052019-d.html  |v 2016-10-18  |x Verlag  |3 Verlagsangaben 
856 4 2 |u http://www.gbv.de/dms/hbz/toc/ht007489988.pdf  |m V:DE-605  |q pdf/application  |v 2008-11-15  |x Verlag  |y Inhaltsverzeichnis  |3 Inhaltsverzeichnis 
856 4 2 |u https://zbmath.org/?q=an:0865.00036  |m B:ZBM  |v 2021-04-12  |x Verlag  |y Zentralblatt MATH  |3 Inhaltstext 
889 |w (DE-627)272724149 
935 |i mdedup 
935 |i Blocktest 
936 r v |a SK 130  |b Logik und Grundlagen, Metamathematik,  |k Mathematik  |k Monografien  |k Logik und Grundlagen, Metamathematik,  |0 (DE-627)1270918567  |0 (DE-625)rvk/143216:  |0 (DE-576)200918567 
936 r v |a SI 990  |b Sonstige  |k Mathematik  |k Schriftenreihen  |k Sonstige  |0 (DE-627)1271545985  |0 (DE-625)rvk/143213:  |0 (DE-576)201545985 
936 b k |a 31.10  |j Mathematische Logik  |j Mengenlehre  |0 (DE-627)10640847X 
936 b k |a 54.10  |j Theoretische Informatik  |0 (DE-627)106418815 
951 |a BO 
990 |a Rekursionstheorie 
990 |a Berechnungskomplexität 
992 |a 20230417 
999 |a KXP-PPN223201987  |e 4309369057 
BIB |a Y 
SPR |a Y 
JSO |a {"relMultPart":[{"title":[{"title_sort":"Lecture notes in pure and applied mathematics","title":"Lecture notes in pure and applied mathematics"}],"language":["eng"],"recId":"129300594","type":{"bibl":"serial"},"disp":"Lecture notes in pure and applied mathematics","titleAlt":[{"title":"Pure and applied mathematics"}],"part":{"number_sort":["187"],"number":["187"]},"pubHistory":["1.1971 - 258.2010; damit Ersch. eingest."],"id":{"issn":["0075-8469"],"zdb":["121984-4"],"eki":["129300594"]},"origin":[{"publisherPlace":"Boca Raton, Fla. [u.a.] ; New York, NY [u.a.]","dateIssuedKey":"1971","publisher":"Chapman & Hall/CRC ; Dekker","dateIssuedDisp":"1971-2010"}],"dispAlt":"Lecture notes in pure and applied mathematics"}],"language":["eng"],"recId":"223201987","physDesc":[{"extent":"VIII, 363 S","noteIll":"graph. Darst"}],"note":["\"This book is a collection of refereed papers representing the research undertaken in the network \"Complexity, Logic and Recursion Theory COLORET\" (Contract No. ERBCHRXCT930415) of the Human Capital and Mobility European project. The activity of the network commenced on January 1, 1994, lasting three years and including three workshops (Amsterdam, Siena, and Barcelona)\"","Literaturangaben"],"type":{"bibl":"edited-book"},"id":{"isbn":["0824700260"],"eki":["223201987"]},"origin":[{"dateIssuedDisp":"1997","dateIssuedKey":"1997","publisher":"Dekker","publisherPlace":"New York, NY [u.a.]"}],"title":[{"title":"Complexity, logic, and recursion theory","title_sort":"Complexity, logic, and recursion theory"}],"person":[{"family":"Sorbi","given":"Andrea","roleDisplay":"Hrsg.","display":"Sorbi, Andrea","role":"edt"}],"name":{"displayForm":["ed. by Andrea Sorbi"]}} 
SRT |a COMPLEXITY1997 

Ähnliche Einträge