- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
12 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
- Bibliographic citation
-
Informatik-Berichte ; Nr. 24
- Event
-
Veröffentlichung
- (where)
-
Berlin
- (who)
-
Professoren des Inst. für Informatik
- (when)
-
[1994]
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:50 PM CEST
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
- Desel, Jörg
- Radola, Micaela-Daphne
- Professoren des Inst. für Informatik
Time of origin
- [1994]
Other Objects (12)
First order theorem proving modulo equations
First-order theorem proving modulo equations
Reachability switching games
3e módulo
2e módulo
Algorithms for reachability problems
Visual Proving
1er módulo – Apuntes
2e módulo – Apuntes
Superposition modulo theory
Interpolation modulo theories
Abstraction Modulo Stability
First order theorem proving modulo equations
First-order theorem proving modulo equations
Reachability switching games
3e módulo
2e módulo
Algorithms for reachability problems
Visual Proving
1er módulo – Apuntes
2e módulo – Apuntes
Superposition modulo theory
Interpolation modulo theories
Abstraction Modulo Stability
First order theorem proving modulo equations
First-order theorem proving modulo equations
Reachability switching games
3e módulo
2e módulo
Algorithms for reachability problems
Visual Proving
1er módulo – Apuntes
2e módulo – Apuntes
Superposition modulo theory
Interpolation modulo theories