Hochschulschrift

Implizite und explizite Induktionsbeweisverfahren

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783896011596
3896011596
Maße
21 cm
Umfang
279 S.
Sprache
Deutsch
Anmerkungen
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1997

Erschienen in
Dissertationen zur künstlichen Intelligenz ; Bd. 159

Schlagwort
Induktionsbeweis
Automatisches Beweisverfahren

Ereignis
Veröffentlichung
(wo)
Sankt Augustin
(wer)
Infix
(wann)
1997
Urheber
Gerberding, Stefan

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.03.2025, 11:37 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

  • Gerberding, Stefan
  • Infix

Entstanden

  • 1997

Ähnliche Objekte (12)