Anwendung des Theorembeweisers SETHEO auf angeordnete Körper:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Dräger, Joachim (VerfasserIn)
Format: Buch
Sprache:German
Veröffentlicht: München Inst. für Informatik 1993
Schriftenreihe:Forschungsberichte Künstliche Intelligenz 186
Online-Zugang:Inhaltsverzeichnis
Beschreibung:121 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis