Higher Order Logic Theorem Proving and Its Applications: 8th International Works
66,97 €
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:
