Socher r (2 risultati)
- Brossura
Da: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, GermaniaMartin Preuß / Akademische Buchhandlung Woetzel
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: BOEV
Condizione: Usato - Come nuovo
EUR 3,80
EUR 15,90 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
03. Condizione: Wie neu. 1994. 186 S. Sprache: Deutsch.
- Brossura
Da: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, GermaniaMartin Preuß / Akademische Buchhandlung Woetzel
Contatta il venditoreVenditore con 5 stelleMembro dell’associazione: BOEV
Condizione: Usato - Come nuovo
EUR 7,60
EUR 15,90 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
04. Condizione: 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.…
