VDict - Definition of dynamic logic

search result for dynamic logic in Computing (FOLDOC) dictionary

First < Previous 2 3 4 5 6 7 8 Next > Last

Nova GNU E ALLOY chaos backtracking Quantum-dot Cellular Automata CONFIG.SYS orthogonal Infinite Monkey Theorem VIC-20 time bomb Internet Protocol version 6 Goffin database National Information Infrastructure screen scraper bomb PL/I neats vs. scruffies free variable Glish random-access memory Advanced RISC Machine linear type ALPS garbage collection ML Douglas Engelbart wireless Milarepa Pentium NPL lambda-calculus Dual In-line Memory Module IAS Cellular Neural Network minicomputer compression third generation computer heap FreeBSD CGI program DDT Icon Hermes gray code Universal Serial Bus relational database C+-curried function Enterprise JavaBeans Erlang Pentium II Darwin Tool Command Language Smalltalk monitor algebra intelligent terminal Dissociated Press natural deduction integrated circuit back door microcode Ruby Cyc LZ77 compression axiomatic set theory MIPS Technologies, Inc.demon Finite State Machine disk drive Multics second generation computer moby canonical Joint Test Action Group microprocessor Liana Perl

First < Previous 2 3 4 5 6 7 8 Next > Last