Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=958746656
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/958746656 |
Art des Inhalts | Hochschulschrift |
Titel | Relevancy based use lemmas in connection tableau calculi / Marc Fuchs |
Person(en) | Fuchs, Marc (Verfasser) |
Verlag | Berlin : Akad. Verl.-Ges. Aka |
Zeitliche Einordnung | Erscheinungsdatum: 2000 |
Umfang/Format | 255 S. ; 21 cm |
Hochschulschrift | Zugl.: München, Techn. Univ., Diss., 1999 |
ISBN/Einband/Preis |
978-3-89838-227-4 kart. : DM 60.00, sfr 54.50 (freier Pr.), S 438.00 (freier Pr.) 3-89838-227-3 kart. : DM 60.00, sfr 54.50 (freier Pr.), S 438.00 (freier Pr.) |
Sprache(n) | Englisch (eng) |
Beziehungen | Dissertationen zur künstlichen Intelligenz ; Bd. 227 |
Schlagwörter | Automatisches Beweisverfahren ; Konnektionsmethode ; Klausellogik ; Lemma <Logik> |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 27 Mathematik |
Weiterführende Informationen | Inhaltsverzeichnis |
Exemplarbezogene Daten stehen derzeit nicht zur Verfügung. Die Online-Bestellung von Medien ist deshalb nicht möglich.
