Resultados de la búsqueda para Deduktionssysteme
Imagen de archivo
Deduktionssysteme
Publicado por
DUNKER & NELLISSEN, 1994
ISBN 10: 3860255479
ISBN 13: 9783860255476
Antiguo o usado
04
Librería: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
04. Condición: 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 ref. del artículo: 16201
Comprar usado
EUR 7,60
Envío por EUR 15,90
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles