Deduktionssysteme - Softcover

Socher-Ambrosius, Rolf

Softcover

ISBN 10: 3860255479 ISBN 13: 9783860255476

Verlag: Spektrum Akademischer Verlag, 1994

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 7,60

0 Neu

Details zur Ausgabe

Verlag: Spektrum Akademischer Verlag
Erscheinungsdatum: 1994
Sprache: Deutsch
ISBN 10: 3860255479
ISBN 13: 9783860255476
Einband: Taschenbuch
Auflage: 1
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Nicht verf�gbar

Suchergebnisse f�r Deduktionssysteme

Beispielbild f�r diese ISBN

Deduktionssysteme

SOCHER-AMBROSIUS, R.:

Verlag: DUNKER & NELLISSEN, 1994

ISBN 10: 3860255479 ISBN 13: 9783860255476

Gebraucht 04

Anbieter: Martin Preu� / Akademische Buchhandlung Woetzel, Kerzenheim, Deutschland

Verk�uferbewertung 5 von 5 Sternen

04. Zustand: 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. Bestandsnummer des Verk�ufers 16201

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 7,60

EUR 15,90 Versand
Versand von Deutschland nach USA

Anzahl: 1 verf�gbar

In den Warenkorb