VDict - Definition of formal logic

search result for formal logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

scan path ALLOY backtracking Quantum-dot Cellular Automata orthogonal Infinite Monkey Theorem time bomb Goffin database symbolic mathematics abstract machine screen scraper bomb pattern matching neats vs. scruffies free variable Advanced RISC Machine argument linear type ALPS macro LUSTRE Milarepa Pentium hook NPL lambda-calculus Loglan IAS Cellular Neural Network minicomputer PL/I grammar SNAP gray code B-Toolkit Universal Serial Bus JavaServer Pages mod C+-curried function Enterprise JavaBeans NESL monitor algebra dynamic random access memory intelligent terminal Dissociated Press natural deduction Backus-Naur Form integrated circuit back door referential transparency Opal microcode Cyc MIPS Technologies, Inc.demon Finite State Machine disk drive prefix second generation computer regular expression moby canonical European Computer-Industry Research Centre GmbH Joint Test Action Group microprocessor American Standard Code for Information Interchange Pascal Amiga

First < Previous 1 2 3 4 5 6 Next > Last