Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Graph-Based Proof Procedures for Horn Clauses by RAATZ (English) Paperback Book

Ø 0.0

0 Bewertungen

67,36 €

Author RAATZ. - A Semantics for the Hornlog System. - The Hornlog Proof Procedure. - Soundness and Completeness Results I.- An Equational Extension. - Soundness and Completeness Results II. Graph-Based Proof Procedures for Horn Clauses.

Jetzt bei Ebay:

ISBN-13:

9780817635305
Book Title:

Graph-Based Proof Procedures for Horn Clauses
ISBN:

9780817635305

None:

International Standard : tracked-no signature (7 to 15 business days) 20,18 EUR - Lieferung zwischen 30. June 2025 und 09. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Afghanistan , Armenien , Aserbaidschan , Bangladesch , Bhutan , Georgien , Indien , Kasachstan , Kirgisistan , Mongolei , ... und weitere