Biblioteca
Nipkow, Tobias

Isabelle/ a proof assistant for higher-order logic / Tobias Nipkow Hol: - Berlin: Springer 2002. - 218 p.

Incluye bibliografía e índice p. 209

3540433767


COMPUTER LOGIC
AUTOMATIC THEOREM PROVING

004.01 / N464i