- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
[Wadern]
- (who)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (when)
-
[2006]
- Contributor
-
Spitters, Bas
- URN
-
urn:nbn:de:0030-drops-2905
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Spitters, Bas
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Time of origin
- [2006]
Other Objects (12)
Constructive category theory and applications to algebraic geometry
Constructive decision theory
Constructive differential Galois theory
Constructive quantum field theory
A constructive method for abstract algebraic software specification
Constructive algebraic methods for the inverse kinematics problem
Diagramm design : a constructive theory
Computability in constructive type theory
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Model and proof theory of constructive ALC : constructive description logics
A Theory of Procedurally Rational Choice: Optimization without Evaluation
Freedom Without Choice?
Constructive category theory and applications to algebraic geometry
Constructive decision theory
Constructive differential Galois theory
Constructive quantum field theory
A constructive method for abstract algebraic software specification
Constructive algebraic methods for the inverse kinematics problem
Diagramm design : a constructive theory
Computability in constructive type theory
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Model and proof theory of constructive ALC : constructive description logics
A Theory of Procedurally Rational Choice: Optimization without Evaluation
Freedom Without Choice?
Constructive category theory and applications to algebraic geometry
Constructive decision theory
Constructive differential Galois theory
Constructive quantum field theory
A constructive method for abstract algebraic software specification
Constructive algebraic methods for the inverse kinematics problem
Diagramm design : a constructive theory
Computability in constructive type theory
Model and Proof Theory of Constructive ALC, Constructive Description Logics
Model and proof theory of constructive ALC : constructive description logics
A Theory of Procedurally Rational Choice: Optimization without Evaluation