ISBN: 9783540392675
This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes… Mehr…
| Springer.com new in stock. Versandkosten:spese di spedizione aggiuntive., zzgl. Versandkosten Details... |
ISBN: 9783540392675
This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes… Mehr…
| Springer.com Nr. 978-3-540-39267-5. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9783540392675
Computer Science; Artificial Intelligence (incl. Robotics); Programming Techniques Prolog, inference engine, knowledge, knowledge representation, logic, programming, programming language,… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten Details... |
ISBN: 9783540392675
Computer Science; Artificial Intelligence (incl. Robotics); Programming Techniques Prolog, inference engine, knowledge, knowledge representation, logic, programming, programming language,… Mehr…
| Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540392675
This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes… Mehr…
ISBN: 9783540392675
This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes… Mehr…
ISBN: 9783540392675
Computer Science; Artificial Intelligence (incl. Robotics); Programming Techniques Prolog, inference engine, knowledge, knowledge representation, logic, programming, programming language,… Mehr…
ISBN: 9783540392675
Computer Science; Artificial Intelligence (incl. Robotics); Programming Techniques Prolog, inference engine, knowledge, knowledge representation, logic, programming, programming language,… Mehr…
Bibliographische Daten des bestpassenden Buches
| Autor: | |
| Titel: | |
| ISBN-Nummer: |
Detailangaben zum Buch - Logic Programming '87
EAN (ISBN-13): 9783540392675
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2017-06-04T14:01:31+02:00 (Zurich)
Detailseite zuletzt geändert am 2023-10-29T08:58:33+01:00 (Zurich)
ISBN/EAN: 9783540392675
ISBN - alternative Schreibweisen:
978-3-540-39267-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: tanaka, furukawa
Titel des Buches: logic programming
Daten vom Verlag:
Autor/in: Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisaki
Titel: Lecture Notes in Computer Science; Logic Programming '87 - Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
Verlag: Springer; Springer Berlin
327 Seiten
Erscheinungsjahr: 2005-06-30
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VI, 327 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Prolog; inference engine; knowledge; knowledge representation; logic; programming; programming language; proving; C; Artificial Intelligence; Programming Techniques; Computer Science; Computerprogrammierung und Softwareentwicklung; BC
From unification to constraints.- CS-Prolog: A generalized unification based constraint solver.- Update propagation network — A framework for constraint programming.- Mendels: Concurrent program synthesis system using temporal logic.- Analogical program synthesis from program components.- Deriving a compilation method for parallel logic languages.- The art of building a parallel logic programming system or from zero to full GHC in ten pages.- of a package system into Prolog.- KPR: A logic programming language-oriented parallel machine.- A preliminary evaluation of a parallel inference machine for stream parallel languages.- Managing search in parallel logic programming.- Inductive inference of regular languages based on model inference.- Polymorphic type inference in Prolog by abstract interpretation.- Proving partial correctness of guarded horn clauses programs.- Knowledge representation and inference based on first-order modal logic.- Manipulation of embedded context using the multiple world mechanism.- Generating natural language responses appropriate to conversational situations - in the case of Japanese -.- An approach to speeding up the Prolog-based inference engine KORE/IE.- Test generation for large-scale combinational circuits by using Prolog.- Concurrent execution of Prolog transaction.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387539195 Logic Programming 89 Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 (H Tanaka K Furukawa T Fujisaki)
- 9780387539195 Logic Programming 89 Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 (H Tanaka K Furukawa T Fujisaki)
- 9780387164793 Logic Programming '85. Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Eiiti Wada)
- 9783540194262 Logic Programming '87 (Koichi Furukawa)
- 9783540164791 Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985: 221 (Lecture Notes in Computer Science, 221) (Eiiti Wada)
- Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Lecture Notes in Computer Science, 221, Band 221) 1986 (Wada, Eiiti)
< zum Archiv...