Deduktionssysteme - Couverture souple

Socher-Ambrosius, Rolf

Couverture souple

ISBN 10 : 3860255479 ISBN 13 : 9783860255476

Editeur : Spektrum Akademischer Verlag, 1994

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 7,60

0 Neuf

D�tails de l'�dition

�diteur: Spektrum Akademischer Verlag
Date d'�dition: 1994
Langue: allemand
ISBN 10: 3860255479
ISBN 13: 9783860255476
Reliure: Copertina flessibile
Num�ro d'�dition: 1
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

R�sultats de recherche pour Deduktionssysteme

Image d'archives

Deduktionssysteme

SOCHER-AMBROSIUS, R.:

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

Contacter le vendeur

Acheter D'occasion

EUR 7,60

Exp�dition �EUR 15,90
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier