Login
Dokumenttyp:
Herausgeberwerk / Edited Book
Titel:
Continuity, Computability, Constructivity: From Logic to Algorithms
Herausgeber Sammlung:
Berger, Ulrich; Brattka, Vasco; Morozov, Andrei S.; Spreen, Dieter
Zeitschrift:
Annals of Pure and Applied Logic
Jahrgang:
163
Heftnummer:
8
Verlagsort:
Amsterdam
Verlag:
Elsevier
Jahr:
2012
Seiten von - bis:
973-1140
Sprache:
Englisch
URL zum Inhalt:
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?:
Nein / No
BibTeX