Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Compute

Isabelle/HOL: A Proof Assistant for Higher-Order Logic Lecture Notes in Computer

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Com...

Nipkow - Concrete Semantics With Isabelle/HOL - New paperback or sof - X555z

Nipkow - Concrete Semantics With Isabelle/HOL - New hardback or case - X555z

New Territories in Health by Isabelle Pailliart Hardcover FREE SHIPPING

Nipkow - Term Rewriting and All That - New paperback or softback - X555z

The Invention Of Modern Science - Isabelle Stengers PB 9780816630561 VGC