Horbach | Superposition-based Decision Procedures for Minimal Models | Buch | 978-3-8381-2802-3 | www.sack.de

Buch, Englisch, 216 Seiten, Format (B × H): 150 mm x 220 mm, Gewicht: 340 g

Horbach

Superposition-based Decision Procedures for Minimal Models

First-order Theorem Proving for Fixed Domain and Minimal Model Validity
Erscheinungsjahr 2011
ISBN: 978-3-8381-2802-3
Verlag: Südwestdeutscher Verlag für Hochschulschriften

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

Buch, Englisch, 216 Seiten, Format (B × H): 150 mm x 220 mm, Gewicht: 340 g

ISBN: 978-3-8381-2802-3
Verlag: Südwestdeutscher Verlag für Hochschulschriften

Horbach Superposition-based Decision Procedures for Minimal Models jetzt bestellen!

Autoren/Hrsg.

Horbach, Matthias
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.