Reasoning about theories with a finite model

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
30 cm
Extent
33 Bl.
Language
Deutsch

Bibliographic citation
Interner Bericht / Universität Karlsruhe (TH) ; 87,15

Event
Veröffentlichung
(where)
Karlsruhe
(who)
Univ., Fak. für Informatik
(when)
[1987]
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, 2:01 PM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • [1987]

Other Objects (12)