Socher r (2 Ergebnisse)
- Softcover
Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, DeutschlandMartin Preuß / Akademische Buchhandlung Woetzel
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Wie neu
EUR 3,80
EUR 15,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
03. Zustand: Wie neu. 1994. 186 S. Sprache: Deutsch.
- Softcover
Anbieter: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, DeutschlandMartin Preuß / Akademische Buchhandlung Woetzel
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenVerbandsmitglied: BOEV
Zustand: Gebraucht - Wie neu
EUR 7,60
EUR 15,90 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
04. Zustand: 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.…
