VDict - Definition of many-sorted logic

search result for many-sorted logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

Boolean algebra paraconsistent probability neutrosophic probability model checking tautological probability Charme LIFE channel service unit Isabelle Transistor-Transistor Logic combinatory logic George Boole TABLOG CLP(R)APPLOG fuzzy logic Hollerithabetical order HiLog three-tier Xilinx, Inc.Baudotbetical order Xilinx Netlist Format EPILOG tautological set garbageabetical order asynchronous logic ELP A'UM Constraint Logic Programming OBJ3 Parlog++PAL logic gate logic programming instantiation Neutrosophy neutrosophic set scan design priority queue cextract abduction ASCIIbetical order unification horizontal encoding central processing unit constructive Interest Group in Pure and Applied Logics vertical encoding Triton Trilogy Laboratory INstrument Computer bubble sort scan register handwave Subset-Equational Language occurs check axiomatic semantics Lout O-Logic accumulator EQLOG OBJ0 MALI Simulating Digital Systems PLTL CPLD complexity analysis resolution ET mill ALF LOTIS Sure ALU MegaHertz Programmable Logic Controller Very Large Scale Integration Probe Logic for Computable Functions HCPRVR

First < Previous 1 2 3 4 5 Next > Last