Exemplar ausleihen
Suche nach Bibliotheken, die diesen Titel besitzen ...
Details
Medienart: | Diplomarbeit/Dissertation |
---|---|
Dokumenttyp | Buch |
Alle Autoren: |
Henning Basold; J J M M Rutten; H Geuvers |
ISBN: | 9780244672065 0244672067 |
OCLC-Nummer: | 1084613726 |
Beschreibung: | 330 p. ; 24 cm. |
Rezensionen
Nutzer-Rezensionen
Eine Rezension verfassen und teilen Sie anderen Ihre Meinung mit.
Verfassen Sie als Erster eine Rezension.
Eine Rezension verfassen und teilen Sie anderen Ihre Meinung mit.
Verfassen Sie als Erster eine Rezension.


Schlagwörter
Schlagwörter hinzufügen für "Mixed inductive-coinductive reasoning : types, programs and logic".
Tragen Sie als Erster Schlagwörter ein.