Wir verwenden Cookies. Viele sind notwendig, um unsere Webseite und ihre Funktionen zu betreiben. Andere erlauben uns statistische Auswertungen vorzunehmen, die uns helfen die Webseite zu verbessern. Marketing-Cookies verwenden wir nicht. Mit der Entscheidung »Nur essentielle Cookies akzeptieren« werden wir keine Cookies setzen, die für den Betrieb der Seite nicht absolut notwendig sind.

Essenzielle

Statistik & Marketing

Alle akzeptieren

Nur essentielle Cookies akzeptieren

Individuelle Cookie-Einstellungen

GDPR legal Cookie by beeclever

✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 372.752 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Durchsuchen Sie unseren Shop

Using Sophisticated Models in Resolution Theorem Proving

Using Sophisticated Models in Resolution Theorem Proving

von David M. Sandford

Softcover - 9783540102311

53,49 €

Versandkostenfrei

Auf meine Merkliste

Hinweis: Print on Demand. Lieferbar in 2 Tagen.

Lieferzeit nach Versand: ca. 1-2 Tage
inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

1 Introduction.- 2 Hereditary lock resolution.- 3 Completeness of HL-resolution.- 4 Models.- 5 Discussion of HLR.

Details

Verlag	Springer Berlin
Ersterscheinung	01. August 1980
Maße	23.3 cm x 15.5 cm
Gewicht	400 Gramm
Format	Softcover
ISBN-13	9783540102311
Seiten	242

Schlagwörter

Formal Languages and Automata Theory, Theoretische Informatik

Herstellerinformationen +