Superposition-based Decision Procedures for Minimal Models

Lieferzeit: Lieferbar innerhalb 14 Tagen

89,90 

First-order Theorem Proving for Fixed Domain and Minimal Model Validity

ISBN: 3838128028
ISBN 13: 9783838128023
Autor: Horbach, Matthias
Verlag: Südwestdeutscher Verlag für
Umfang: 216 S.
Erscheinungsdatum: 03.07.2015
Auflage: 1/2015
Format: 1.4 x 22 x 15
Gewicht: 340 g
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 4738771 Kategorie:

Beschreibung

Herstellerkennzeichnung:


OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD

E-Mail: info@omniscriptum.com

Das könnte Ihnen auch gefallen …