Email Address * *
Name
Subject *
Message * Articles On Theorem Proving Software Systems, including Mathematica, Isabelle (theorem Prover), Gandalf (theorem Prover), Acl2, Eqp, Mizar System, E Theorem Prover, Vampire (theorem Prover), Obj, Obj3, Larch Prover, Carine, Twelf - 1242537775 - 9781242537776