- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
71 S.
- Sprache
-
Englisch
- Anmerkungen
-
Literaturverz. S. 68 - 71
- Ereignis
-
Veröffentlichung
- (wo)
-
Passau
- (wer)
-
Fak. für Mathematik u. Informatik, Univ. c/o S. Putz
- (wann)
-
1989
- Urheber
-
Padawitz, Peter
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:07 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Padawitz, Peter
- Fak. für Mathematik u. Informatik, Univ. c/o S. Putz
Entstanden
- 1989
Ähnliche Objekte (12)
Program verification by inductive expansion : tree balancing and graph traversal
Meta-inductive Justification of Inductive Generalizations
Logic : Inductive
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Subjectivity in inductive inference
Handbook of inductive soldering
Meta-Inductive Probability Aggregation
Inductive general game playing
Inductive and divisional posets
Probabilistic inductive constraint logic
Inductive temporal logic programming
Large and Infinitary Quotient Inductive-Inductive Types: Q/A Session E - Paper E5.C
Program verification by inductive expansion : tree balancing and graph traversal
Meta-inductive Justification of Inductive Generalizations
Logic : Inductive
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Subjectivity in inductive inference
Handbook of inductive soldering
Meta-Inductive Probability Aggregation
Inductive general game playing
Inductive and divisional posets
Probabilistic inductive constraint logic
Inductive temporal logic programming
Large and Infinitary Quotient Inductive-Inductive Types: Q/A Session E - Paper E5.C
Program verification by inductive expansion : tree balancing and graph traversal
Meta-inductive Justification of Inductive Generalizations
Logic : Inductive
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
Subjectivity in inductive inference
Handbook of inductive soldering
Meta-Inductive Probability Aggregation
Inductive general game playing
Inductive and divisional posets
Probabilistic inductive constraint logic
Inductive temporal logic programming