Author books / Книги автора Tobias Nipkow Markus Wenzel Lawrence C. Paulson (eds.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Tobias Nipkow Markus Wenzel Lawrence C. Paulson (eds.)

book Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

pdf

Author: Tobias Nipkow Markus Wenzel Lawrence C. Paulson (eds.)
Language: English
Year: 2002

00

26.01.2024

2

0