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

Higher Order Logic Theorem Proving and Its Applications: 8th International Works

Ø 0.0

0 Bewertungen

67,84 €

Calculus equivalence in HOL. - Non-primitive recursive function definitions. - Combining decision procedures in the HOL system. - Deciding cryptographic protocol adequacy with HOL. - Virtual theories.

Jetzt bei Ebay:

ISBN-13:

9783540602750
Book Title:

Higher Order Logic Theorem Proving and Its Applications
ISBN:

9783540602750

None:

International Standard : tracked-no signature (7 to 15 business days) 43,67 EUR - Lieferung zwischen 27. June 2025 und 07. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Irak , Libanon , Jemen , Costa Rica , Dominica , Dominikanische Republik , El Salvador , Guadeloupe , Guatemala , Haiti , ... und weitere