Articles liés à Deduktionssysteme
Résultats de recherche pour Deduktionssysteme
Image d'archives
Deduktionssysteme
Edité par
DUNKER & NELLISSEN, 1994
ISBN 10 : 3860255479
ISBN 13 : 9783860255476
Ancien ou d'occasion
04
Vendeur : Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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. N° de réf. du vendeur 16201
Acheter D'occasion
EUR 7,60
Expédition à EUR 15,90
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)