Socher, R (2 results)
- Softcover
Seller: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, GermanyMartin Preuß / Akademische Buchhandlung Woetzel
Contact seller5-star sellerAssociation member: BOEV
Condition: Used - As new
£ 3.35
£ 13.63 shippingShips from Germany to U.S.A.Quantity: 1 available
03. Condition: Wie neu. 1994. 186 S. Sprache: Deutsch.
- Softcover
Seller: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, GermanyMartin Preuß / Akademische Buchhandlung Woetzel
Contact seller5-star sellerAssociation member: BOEV
Condition: Used - As new
£ 6.71
£ 13.63 shippingShips from Germany to U.S.A.Quantity: 1 available
04. Condition: Wie neu. 1994. 186 S., flex.kart. In diesem Buch werden die grundlegenden Konzepte und Methoden des automatischen Beweisens für die klassische Logik erster Stufe ohne Gleichheit dargestellt. Die konsequente Orientierung an abstrakten Inferenzsystemen hat den Vorteil, daß die logische Str Sprache: Deutsch.…
