Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 14 | << page >> |
Sort by
|
ISBN: 0444003657 0444003681 9780444003652 9780444003683 Year: 1979 Volume: 7 Publisher: New York, NY : Elsevier North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic digital computers --- -681.3*D32 --- 681.3*I23 --- 681.3*I24 --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 681.3*D32 language classifications: applicative languages data-flow languages design languages extensible languages macro and assembly languages nonprocedural languages specialized application and very high-level languages (Programminglanguages) --- language classifications: applicative languages data-flow languages design languages extensible languages macro and assembly languages nonprocedural languages specialized application and very high-level languages (Programminglanguages) --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Programming --- Wetenschappelijk onderzoek: methodologie; onderzoeksmethoden --- Applications of mathematical logic --- Applications of mathematical logic. --- 167 Wetenschappelijk onderzoek: methodologie; onderzoeksmethoden --- Computer programming --- Logic, Symbolic and mathematical --- Problem solving --- 164 --- 519.7 --- 681.3 --- 167 --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Problem Solving --- Logic, symbolic and mathematical --- Problem solving. --- Computer programming. --- Logic, Symbolic and mathematical. --- Résolution de problème --- Informatique --- Artificial intelligence. --- Computer science. --- Résolution de problème --- Résolution de problemes
Book
Year: 1983 Publisher: New York: North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Network --- Data Base --- Frames --- Non Determinism --- Horn Clauses --- Matching --- Problem Solving --- Electronic digital computers
Book
Year: 1986 Publisher: New York (N.Y.): North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1974 Publisher: Amsterdam s.n.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1980 Publisher: London University of London. Department of computing
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1981 Publisher: London University of London. Department of computing
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1982 Publisher: London University of London. Department of computing
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1974 Publisher: Edinburgh University of Edinburgh. Department of artificial intelligence
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1969 Publisher: Edinburgh University of Edinburgh. Metamathematics unit
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540100091 Year: 1980 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence. Robotics. Simulation. Graphics --- #TCPW P3.0 --- 681.3*A0 --- 681.3*F2 --- 681.3*F3 --- 681.3*F41 --- 681.3*I23 --- General --- Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- Logics and meanings of programs (Theory of computation) --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*F2 Analysis of algorithms and problem complexity--See also {681.3*B6}; {681.3*B7}; {681.3*F13} --- 681.3*A0 General --- Algèbre --- Algebra --- Langages de programmation --- Programming languages (Electronic computers) --- Logique --- Langages de programmation. --- Algèbre.
| Listing 1 - 10 of 14 | << page >> |
Sort by
|