Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Proceedings / COLOG 88 International Conference on Computer Logic Tallinn, USSR, December 12 - 16, 1988. P. Martin-Löf ... (eds.) von COLOG 1 1988 Tallin [aut] Martin-Löf, Per [Hrsg.] Mints, Grigori [Hrsg.] Reihen: ; 417 \| Lecture notes in computer science ; 417 Materialtyp: Text; Format: Druck Sprache: Deutsch, Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1990 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext Verlagsangaben Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 417. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Algorithmen und zufällige Folgen vier Vorträge von Per Martin-Löf, gehalten am Mathematischen Institut der Universität Erlangen-Nürnberg von Martin-Löf, Per [aut] Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Erlangen Mathemat. Inst. 1966 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MAR p3 1966:1 1.Ex, ... Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche