VDict - Definition of proof system

search result for proof system in Computing (FOLDOC) dictionary

First < Previous 9 10 11 12 13 14 15 Next > Last

Beats the shit outa me USENIX Stanford Artificial Intelligence Language Yale Haskell X server VMEbus Developmental Test and Evaluation PopTalk data set organization Systems Application Architecture Programmable Logic Controller MENYMA/S DACNOS munching Enterprise JavaBeans Foresight Resource Access Control Facility CS-4 Bell 103 ZOG ObjectBroker Local Shared Resources getty muddie Categorical Abstract Machine Language RAMIS II RAWOOP-SNAP data set Protosynthex TGS-II Nother NSFIP X-Windows Candle Ilog Solver Russell's Paradox NoteCards CICERO Programmers Hierarchical Interactive Graphics System page in LPT Open Look SOCRATIC VME Mathematical Analysis without Programming MATRIX MATH ANCP DATACODE I CAE LSR Magic Paper cd GRAM DNIX MILITRAN gripenet specification integration GOM QUEL aXe WE Viola Mma SIMPLE Alan Kay mouse around COLASL Views Bookviewer SP/k black box echo CROSSTABS OOPS TRS KBS IHS KBMS BBS

First < Previous 9 10 11 12 13 14 15 Next > Last