Higher Order Logic Theorem Proving and Its Applications: 7th International Works
68,21 €
Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic.
Jetzt bei Ebay:
