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
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