Searching for "Symbolic Computation and Artificial Intelligence." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Softening the Complexity of Intelligent Systems Programming
- … on introductory modules in Symbolic Computation and Artificial Intelligence. example 1 The first example examines…
- Add To MetaCart
-
Category-based Constraint Logic
- … Computation, Artificial Intelligence, Program Verification and Computational Geometry are examples…
- Cited by 5 (2 self) – Add To MetaCart
-
A Category-based Equational Logic Semantics to Constraint Programming
- … programming. Mathematical Programming, Symbolic Computation, Artificial Intelligence, Program Verification…
- Add To MetaCart
-
Implementing Concurrent Scheme for the Mayfly Distributed Parallel Processing System
- … used for symbolic computing and artificial intelligence applications. As in much current concurrent…
- Cited by 2 (1 self) – Add To MetaCart
-
Compiling Rewriting onto SIMD and MIMD/SIMD Machines
- … expressions that can be represented as labeled trees or acyclic graphs. Many symbolic and artificial…
- Add To MetaCart
-
An Abstract Machine for Unification Grammars
- … of Logic Programming. Springer series in Symbolic Computation -- Artificial Intelligence. Springer, Berlin…
- Cited by 9 (3 self) – Add To MetaCart
Showing 1 through 6.
