Analogieschlüsse beim automatischen Beweisen

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISBN
9783860640067
3860640062
Maße
21 cm
Umfang
115 S.
Sprache
Deutsch
Anmerkungen
graph. Darst.
Literaturverz. S. 110 - 115

Schlagwort
Automatisches Beweisverfahren
Analogieschluss

Ereignis
Veröffentlichung
(wo)
Hamburg
(wer)
Kovač
(wann)
1992
Urheber
Slotosch, Oscar

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:04 MESZ

Datenpartner

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

Beteiligte

  • Slotosch, Oscar
  • Kovač

Entstanden

  • 1992

Ähnliche Objekte (12)