Eintrag weiter verarbeiten
Buchumschlag von Automatisierung von Terminierungsbeweisen
Verfügbar über lokaler Bestand

Automatisierung von Terminierungsbeweisen

Gespeichert in:

Personen und Körperschaften: Walther, Christoph (VerfasserIn)
Titel: Automatisierung von Terminierungsbeweisen/ Christoph Walther
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Habil.-Schr., 1990 u.d.T.: Walther, Christoph: A many sorted calculus based on resolution and paramodulation
Medientyp: Buch Hochschulschrift
Sprache: Deutsch
veröffentlicht:
Wiesbaden Vieweg 1991
Gesamtaufnahme: Artificial intelligence
Schlagwörter:
Quelle: Verbunddaten SWB