Search Results - "logic programming"
Suggested Topics within your search.
Suggested Topics within your search.
- Logic programming 68
- Congresses 13
- Logic design 11
- Artificial intelligence 7
- Prolog (Computer program language) 5
- Logic, Symbolic and mathematical 4
- Parallel programming (Computer science) 3
- Programmable controllers 3
- Programming languages (Electronic computers) 3
- Automatic theorem proving 2
- Computer programs 2
- Constraint programming (Computer science) 2
- Data processing 2
- Declarative programming 2
- Electronic digital computers 2
- Expert systems (Computer science) 2
- Functional programming (Computer science) 2
- Handbooks, manuals, etc 2
- Logic 2
- Logic programming languages 2
- Mathematics 2
- Object-oriented programming (Computer science) 2
- Periodicals 2
- Process control 2
- Programming 2
- Programming languages (Electronic computers 2
- Prolog (Computer program language 2
- Semantics 2
- Simulation methods 2
- Algebra 1
-
61
-
62
Proof and computation
Published 1995Subjects: “…Logic programming Congresses…”
Click Here to View Status and Holdings.
Unknown -
63
The Implementation of Prolog
Published 2016Subjects: Click Here to View Status and Holdings.
Unknown -
64
Logic, algebra, and computation international summer school directed by F.L. Bauer ... [et al.]
Published 1991Subjects: “…Logic programming Congresses…”
Click Here to View Status and Holdings.
Unknown -
65
Functional and logic planning proceedings of the ... held March 7-9, 2001
Published 2001Subjects: Click Here to View Status and Holdings.
Unknown -
66
Prolog The Standard: Reference Manual
Published 1996Subjects: “…Logic programming…”
Click Here to View Status and Holdings.
Unknown -
67
Logical methods in honor of Anil Nerode's sixtieth birthday
Published 1993Subjects: Click Here to View Status and Holdings.
Unknown -
68
Prometheus an advanced logic based AI toolkit
Published 1991Subjects: “…Logic Programming…”
Click Here to View Status and Holdings.
Unknown -
69
-
70
Prolog, children and students
Published 1988Subjects: “…Logic programming…”
Click Here to View Status and Holdings.
Unknown -
71
An object-oriented approach to programming logic and design
Published 2013Subjects: Click Here to View Status and Holdings.
Unknown -
72
Artificial intelligence in simulation
Published 1990Subjects: Click Here to View Status and Holdings.
Unknown -
73
Computational logic essays in honor of Alan Robinson
Published 1991Subjects: Click Here to View Status and Holdings.
Unknown -
74
Discrete structures, logic, and computability
Published 2010Subjects: Click Here to View Status and Holdings.
Unknown -
75
Logic in the organisation of knowledge a programmed text for students of information retrieval
Published 1972Subjects: “…Logic Programmed instruction…”
Click Here to View Status and Holdings.
Unknown -
76
-
77
Warren's abstract0 machine a tutorial reconstruction
Published 1991Subjects: Click Here to View Status and Holdings.
Unknown -
78
Digital logic simulation and CPLD programming with VHDL
Published 2003Subjects: Click Here to View Status and Holdings.
Unknown -
79
Eco-logic logic-based approaches to ecological modelling
Published 1991“…Logic programming…”
Click Here to View Status and Holdings.
Unknown -
80
Programmable controllers troubleshooting techniques instructor guide
Published 1985“…Principles of ladder logic programming…”
Click Here to View Status and Holdings.
Unknown