Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- Logic programming
- Congresses 12
- Logic design 11
- Artificial intelligence 7
- Prolog (Computer program language) 4
- Logic, Symbolic and mathematical 3
- Automatic theorem proving 2
- Constraint programming (Computer science) 2
- Data processing 2
- Declarative programming 2
- Expert systems (Computer science) 2
- Functional programming (Computer science) 2
- Mathematics 2
- Object-oriented programming (Computer science) 2
- Parallel programming (Computer science) 2
- Periodicals 2
- Programming languages (Electronic computers) 2
- Prolog (Computer program language 2
- Semantics 2
- Algebra 1
- Computational complexity 1
- Computer programming 1
- Computer science 1
- Computer simulation 1
- Computer-assisted instruction 1
- Data structures (Computer science) 1
- Database design 1
- Database management 1
- Deductive data bases 1
- Design and construction 1
-
1
-
2
-
3
-
4
-
5
Advanced logic programming for language processing
Published 1994Click Here to View Status and Holdings.
Unknown -
6
Introductory logic and formal methods
Published 1994Click Here to View Status and Holdings.
Unknown -
7
-
8
Logic program synthesis from incomplete information
Published 1995Click Here to View Status and Holdings.
Unknown -
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
P-Prolog a parallel logic programming language
Published 1987Click Here to View Status and Holdings.
Unknown