Articoli correlati a Deduktionssysteme
Risultati della ricerca per Deduktionssysteme
Foto dell'editore
Deduktionssysteme
Da: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Germania
Valutazione del venditore 5 su 5 stelle
04. Condizione: 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. Codice articolo 16201
Compra usato
EUR 7,60
Spedizione EUR 15,90
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili