Hochschulschrift

Rechnergestütztes Beweisen in heterogenen Relationenalgebren

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783928536998
3928536990
Dimensions
21 cm
Extent
201 S.
Language
Deutsch
Notes
Zugl.: München, Univ. der Bundeswehr, Diss., 1997

Keyword
Relationenalgebra
Automatisches Beweisverfahren
Termersetzungssystem

Event
Veröffentlichung
(where)
München
(who)
Diss.-Verl. NG-Kopierladen
(when)
1998
Creator
Hattensperger, Claudia

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:19 PM CEST

Data provider

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

Object type

  • Hochschulschrift

Associated

  • Hattensperger, Claudia
  • Diss.-Verl. NG-Kopierladen

Time of origin

  • 1998

Other Objects (12)