Resources

Isabelle

Author : Paulson 

Springer

Access online

Isabelle/HOL

Author : Nipkow 

Springer

Access online

Isodual Theory of Antimatter

Author : Santilli 

Springer

Access online

Isomorphisms between H1 Spaces

Author : Müller 

Springer

Access online