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

THE HUMAN FORM IN NEOLITHIC MALTA By Isabelle Vella Gregory -excellent condition

Patriots without a Homeland: Hungarian Jewish Orthodoxy from Emancipation to Hol

Isabelle Metzen ~ UNESCO-Welterbe Wimmelbuch Schweiz 9783985851447

Inyentional Longevity: Harnessing Cellular Power For Age Reversal by Michael Hol

"Harry, hol schon mal den Wagen!" | Ulrich Homann

Nipkow - Isabelle/HOL A Proof Assistant for Higher-Order Logic - New - X555z

Teaching HigherOrder Thinking to Young Learners K3 by Steffen Saifer PAPERBACK