Eintrag weiter verarbeiten
Automatisierung von Terminierungsbeweisen
Gespeichert in:
Personen und Körperschaften: | |
---|---|
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 |
Online
Zentralblatt MATH, Inhaltstext, VerlagUniversitätsbibliothek
Verfügbar Bestellung |
Regalstandort:
ST 130 wal
Literaturabteilung:
Freihand
Anmerkungen:
|