VDict - Definition of symbolic inference

search result for symbolic inference in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

ALAM CLAM ABC ALGOL AUTOCODER STING FORMAC Scratchpad I Language for the On-Line Investigation and Transformation of Abstractions JAffer's Canonical ALgebra Macaulay Autocode SymbMath Formula ALGOL Pari IAM Constraint Logic Programming Simulation Oriented Language Maple Alex propositional logic FORM Symbolic Optimal Assembly Program declarative language Storage Allocation and Coding Program MultiLisp Extended Self-containing Prolog ESP SALT Sketchpad Xfun AXIOM*inference rule GDB CAMAL C-Refine instantiation formal methods FORMAL Magma REDUCE Franz Lisp assembly language Connection Machine LISP GAP Schoonschip Omega test knowledge ML Kit Horn clause KEE UBASIC SHEEP Constraint Handling In Prolog PDP-7 literal Mathematica expert system Wafe Ponder Interest Group in Pure and Applied Logics OPS5 occurs check Tree Transformation Language String Oriented Symbolic Language link farm alias macro Categorical Abstract Machine Language Persistent Functional Language Objective CAML hard link SPL accumulator Stanford Artificial Intelligence Language pattern recognition artificial neural network DDT Lisp Multipop-68 BASIC

First < Previous 1 2 3 Next > Last