On Formal Specification of a Proof Tool R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT - Berks - Document - PDFSEARCH.IO

First Page	Meta Content
	On Formal Specification of a Proof Tool R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Document Date: 2004-04-12 08:34:13 Open Document File Size: 149,71 KB Share Result on Facebook Company ICL Secure Systems / / Facility Cambridge University / / IndustryTerm proof support tool / machinery / abstract proof tool / machine processing / proof tool / main enabling technology / technology base / software engineering tool / / Organization Cambridge University / / Position mp / dom mp / / Technology main enabling technology / dom / / SocialTag First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic

On Formal Specification of a Proof Tool R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TTAdd to Reading List