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

Lecture Notes in Computer Science Ser.: Logic-Based Program Synthesis and...

The Texas Book: Profiles, History, - hardcover, Richard A Editor Hol, 0292714297

Lecture Notes: Dermatology-Robin Graham-Brown, Tony Burns

NUTRITION MADE CLEAR THE GREAT COURSES 3 DVD Transcript Lecture Guidebook Books

Complex Surfaces and Connected Sums of Complex Projective Planes Lecture Notes i

The Laws of Motion in Ancient Thought: An Inaugural Lecture by Francis MacDonald