Listing 1 - 3 of 3 |
Sort by
|
Choose an application
Frage-Antwort-System
---
Frage-Antwort-System.
---
Inferenz (Künstliche Intelligenz).
---
Logic programming
---
Logische Programmierung
---
Logische Programmierung.
---
Nichtmonotones Schliessen.
---
Nonmonotonic reasoning
---
Problemlösen
---
Problemlösen.
---
Wissensrepräsentation
---
Wissensrepräsentation.
---
Nichtmonotones Schliessen
---
Inferenz
Choose an application
Programming --- Computer programming --- Logic, Symbolic and mathematical --- Programming languages (Electronic computers) --- Logic programming --- Programmation (Informatique) --- Logique symbolique et mathématique --- Langages de programmation --- Programmation logique --- Semantics --- Sémantique --- Logic Programming --- 681.3*I23 --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic programming. --- PROLOG. --- Sémantique langage. --- Programmation en logique. --- Programmation logique. --- Logisch programmeren. --- Einführung. --- Logische Programmierung. --- Semantics. --- Sémantique. --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Programming languages (Electronic computers) - Semantics
Choose an application
Programming --- #TS:TCPW --- 681.3*H0 --- 681.3*F4 --- 681.3*D1 --- Computer science--?*H0 --- Mathematical logic and formal languages (Theory of computation) --- Programming techniques--See also {681.3*E} --- Periodicals --- Logic programming --- Artificial intelligence --- Constraint programming (Computer science) --- Logic programming. --- Computer programs --- Computer programs. --- Information Technology --- Mathematical Sciences --- Artificial Intelligence --- Data Storage and Data Mining --- Database Design & Management --- Algorithms --- Applied Mathematics --- Logic --- Mathematical Analysis & Logic --- Logische Programmierung --- Zeitschrift --- Online-Ressource --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- Programmering --- Netzpublikation --- Online-Publikation --- Computerdatei im Fernzugriff --- Online-Dokument --- On-line-Dokument --- On-line-Publikation --- Elektronische Publikation --- Periodikum --- Zeitschriften --- Presse --- Fortlaufendes Sammelwerk --- Prädikative Programmierung --- Programmierung --- Logische Programmiersprache --- Computer programming --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Prädikative Programmierung --- Logic programming - Periodicals --- Artificial intelligence - Computer programs - Periodicals --- Constraint programming (Computer science) - Periodicals --- Artificial intelligence. Robotics. Simulation. Graphics
Listing 1 - 3 of 3 |
Sort by
|