Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 29 | << page >> |
Sort by
|
Book
Year: 1987 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic programming --- Formal Method --- Marktoberdorf --- Program Synthesis --- Formal Description
Book
ISBN: 0262121255 9780262121255 Year: 1987 Publisher: Cambridge (MA) London : MIT Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic programming --- Programmation logique --- Congresses --- Congrès --- 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) --- Congrès --- Proceedings --- Logic-programming-congress
ISBN: 0444702237 9780444702234 Year: 1987 Publisher: Amsterdam: North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Algebraic Specification --- Program Development --- Functional programming --- Logic programming --- Specification --- Program Transformation --- Computer programming
ISBN: 0444702539 9780444702531 Year: 1987 Publisher: Amsterdam: North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
higher Order Programming --- Formal Description --- Logic programming --- Functional programming --- proof --- Logic --- Concurrency --- Term Rewriting --- Semantics
ISBN: 0818607998 9780818607998 Year: 1987 Publisher: Long Beach : IEEE Computer Society Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic programming --- -681.3*I23 --- Computer programming --- Congresses --- 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*I23 --- Ieee --- Proceedings
ISBN: 0898381940 9780898381948 Year: 1987 Volume: 25 Publisher: Boston Kluwer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic Programming --- Parallel processing (Electronic computers) --- Logic programming --- 681.3 *C2 --- 681.3*I23 --- High performance computing --- Multiprocessors --- Parallel programming (Computer science) --- Supercomputers --- Computer programming --- Computer communication networks: data communications; OSI; security and protection --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic programming. --- Parallel processing (Electronic computers). --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection
ISBN: 0201192411 9780201192414 Year: 1987 Publisher: Wokingham Addison-Wesley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- PARLOG (Computer program language) --- Parallel computers --- PARLOG (Langage de programmation) --- Ordinateurs parallèles --- Programmation --- Parallel logic programming --- 681.3*I25 --- Logic programming --- Parallel programming (Computer science) --- Programming languages (Electronic computers) --- Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- Parallel logic programming. --- PARLOG (Computer program language). --- 681.3*I25 Programming languages and software: expert system tools and techniques (Artificial intelligence)--See also {681.3*D32} --- Ordinateurs parallèles
ISBN: 3540181997 3642831915 3642831893 9783540181996 Year: 1987 Publisher: Berlin: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- 681.3*F41 --- 681.3*I23 --- 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}
ISBN: 9971505088 Year: 1987 Publisher: Singapore World scientific
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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. --- P-Prolog (Computer program language) --- Parallel programming (Computer science) --- P-Prolog (Computer program language). --- Parallel programming (Computer science). --- 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 --- Logic programming languages --- Computer programming --- Parallel processing (Electronic computers)
ISBN: 020118043X 9780201180435 Year: 1987 Publisher: Reading (Mass.): 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 --- Expert systems (Computer science) --- Logic programming --- 681.3*I23 --- 681.3*I24 --- Computer programming --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Artificial intelligence --- Computer systems --- Soft computing --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (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) --- Logic programming. --- Expert systems (Computer science). --- 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) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Logic --- Prolog (langage de programmation) --- Knowledge Engineering
| Listing 1 - 10 of 29 | << page >> |
Sort by
|