Normal view MARC view ISBD view

ISABELLE: A GENERIC THEOREM PROVER

LAWRENCE C. PAULSON

ISABELLE: A GENERIC THEOREM PROVER - NEWYORK SPRINGER 1994 - 321

ISBN: 9783540582441

Dewey Class. No.: 511.3028553 / LAW