Search
Feedback
About UniCat 
Help
News
| Listing 1 - 6 of 6 |
Sort by
|
ISBN: 0412377705 1489971440 9780412377709 Year: 1990 Volume: vol *12 Publisher: London New York Tokyo Chapman and Hall
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0135398428 9780135398425 0724807004 9780724807000 Year: 1990 Publisher: Englewood Cliffs (N.J.): Prentice Hall
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic programming. --- Prolog (Computer program language) --- Parallel processing (Electronic computers) --- Programmation logique --- PROLOG (Langage de programmation) --- Parallélisme (Informatique) --- 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) --- Parallélisme (Informatique) --- Fcp --- Guarded Morn Clauses --- Parlog --- Ghc --- Concurrent Prolog --- Prolog (langage de programmation) --- Implementation --- Wam
ISBN: 0201416069 9780201416060 Year: 1990 Publisher: Wokingham Reading Madrid Addison-Wesley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Artificial intelligence --- Prolog (computer program language) --- Data processing --- Prolog (Computer program language). --- Data processing. --- Prolog (programmeertaal). --- Prolog (Computer program language) --- Intelligence artificielle --- PROLOG (Langage de programmation) --- Informatique --- Artificial intelligence - Data processing. --- Prolog (Computer language) --- Artificial intelligence - Data processing
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Logic programming --- Logisch programmeren --- Logische programmering --- PROLOG (Computer program language) --- PROLOG (Computer programmeertaal) --- PROLOG (Langage de programmation) --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- Prolog (Computer program language) --- 681.3*D16 --- 681.3*D32 --- 681.3*F3 --- 681.3*I23 --- Computer programming --- Computerwetenschap--?*D16 --- 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) --- Logics and meanings of programs (Theory of computation) --- 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*F3 Logics and meanings of programs (Theory of computation) --- 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) --- Logic programming.
Book
ISBN: 0201524244 Year: 1990 Publisher: Reading (Mass.): Addison-Wesley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Expert systems (Computer science) --- Expertsystemen (Informatica) --- Langue naturelle--Traitement des données (Informatique) --- Natural language processing (Computer science) --- Natuurlijke taal--Gegevensverwerking (Informatica) --- PROLOG (Computer program language) --- PROLOG (Computer programmeertaal) --- PROLOG (Langage de programmation) --- Systèmes experts (Informatique) --- Prolog (Computer program language) --- 681.3*D32 --- 681.3*I20 --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Computer systems --- Soft computing --- 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) --- Artificial intelligence (AI) in general; cognitive simulation; philosophical foundations --- 681.3*I20 Artificial intelligence (AI) in general; cognitive simulation; philosophical foundations --- 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)
ISBN: 0262150395 9780262150392 9780262512275 Year: 1990 Publisher: Cambridge (Mass.): MIT press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Prolog (Computer program language) --- 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) --- Prolog (Computer program language). --- 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) --- 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) --- Prolog (computer program language) --- PROLOG (Langage de programmation) --- Computer. Automation --- Programming
| Listing 1 - 6 of 6 |
Sort by
|