Socher, r (2 résultats)

- Couverture souple
Vendeur : Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, AllemagneMartin Preuß / Akademische Buchhandlung Woetzel
Contacter le vendeurVendeur avec une évaluation de 5 étoilesMembre d’une association professionnelle : BOEV
Etat: Occasion - Comme neuf
EUR 3,80
EUR 15,90 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
03. Etat : Wie neu. 1994. 186 S. Sprache: Deutsch.

- Couverture souple
Vendeur : Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, AllemagneMartin Preuß / Akademische Buchhandlung Woetzel
Contacter le vendeurVendeur avec une évaluation de 5 étoilesMembre d’une association professionnelle : BOEV
Etat: Occasion - Comme neuf
EUR 7,60
EUR 15,90 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
04. Etat : 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.…