Deduktionssysteme
von Rolf SocherAmbrosius Verlag: Duden ein Imprint von Cornelsen Verlag GmbH
Taschenbuch 21 X 13.8 X 1.4 cm 186 S. EAN: 9783411171712Das Buch könnte Gebrauchsspuren und Knicke aufweisen, ansonsten allgemein in gutem Zustand. Gegebenenfalls kann Namenseintrag tragen und das Titelbild oder die Auflage könnte abweichen. Kostenfreie Rücksendung. Die Rechnung mit ausgewiesene…
Deduktionssysteme
von R Socher-Ambrosius Verlag: BI Mannheim,
1994 03 186 S.
Deduktionssysteme.
von Rolf Socher-Ambrosius Verlag: Mannheim ; Leipzig ; Wien ; Zürich : BI-Wiss.-Ver…
1994. kart. 186 S. ; 21 cm, Gutes Ex. - Dieses Buch bietet eine theoretische Darstellung der grundlegenden Konzepte und Methoden des automatischen Beweisens für die klassische Logik erster Stufe ohne Gleichheit. Die Darstellung orientiert sich dabei an constraint-basierten Inferenzsystemen. Neben…
Deduktionssysteme.
von Rolf Socher-Ambrosius Verlag: Mannheim, BI-Wiss.-Verl.,
1994. Paperback 186 S. ; Mit zahlr. Abb.; 21 cm, Guter Zustand.
- ISBN / EAN
- 9783411171712
Speichern Sie Ihre Suche als Auftrag für einen späteren Zeitpunkt und lassen Sie sich bei neu eintreffenden Artikeln automatisch per E-Mail benachrichtigen (optional)!