Logo
Benutzer: Gast  Login
Autoren:
Hölzl, Rupert; Jain, Sanjay; Stephan, Frank 
Dokumenttyp:
Konferenzbeitrag / Conference Paper 
Titel:
Inductive Inference and Reverse Mathematics 
Herausgeber Sammlung:
Mayr, Ernst W.; Ollinger, Nicolas 
Titel Konferenzpublikation:
32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany 
Reihentitel:
Leibniz International Proceedings in Informatics (LIPIcs) 
Bandnummer Reihe:
30 
Konferenztitel:
International Symposium on Theoretical Aspects of Computer Science (32., 2015, Garching) 
Tagungsort:
Garching 
Jahr der Konferenz:
2015 
Datum Beginn der Konferenz:
04.03.2015 
Datum Ende der Konferenz:
07.03.2015 
Verlagsort:
Wadern : Schloss Dagstuhl 
Verlegende Institution:
Leibniz-Zentrum für Informatik GmbH 
Jahr:
2015 
Seiten von - bis:
420-433 
Sprache:
Englisch 
Stichwörter:
reverse mathematics ; recursion theory ; inductive inference ; learning from positive data 
ISBN:
978-3-939897-78-1 
Fakultät:
Fakultät für Informatik 
Institut:
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research 
Professur:
Brattka, Vasco 
Open Access ja oder nein?:
Ja / Yes