Livro: Isabelle/hol - Tobias Nipkow

imagem ilustrativa

Salvar edição

Tobias Nipkow | 2002

Descrição: This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assis... Veja mais

Isabelle/hol