- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 74,89, Mittelwert: € 63,17
1
Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 - Koichi Furukawa
Bestellen
bei ZVAB.com
€ 59,11
Versand: € 0,001
Bestellengesponserter Link
Koichi Furukawa:

Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 - Taschenbuch

1988, ISBN: 3540194266

[EAN: 9783540194262], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; LOGIK; PHILOSOPHIE PROLOG; INFERENCEENGINE; KNOWLEDGE; KNOWLEDGEREPRES… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Logic Programming '87 - Koichi Furukawa
Bestellen
bei AbeBooks.de
€ 74,89
Versand: € 0,001
Bestellengesponserter Link

Koichi Furukawa:

Logic Programming '87 - Taschenbuch

1988, ISBN: 3540194266

[EAN: 9783540194262], Neubuch, [PU: Springer Berlin Heidelberg Jun 1988], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; LOGIK; PHILOSOPHIE PROLOG; INFERENCEENGINE; KNOWLEDGE; KNOWLEDGEREPRESEN… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)]
3
Logic Programming '87 - Koichi Furukawa
Bestellen
bei booklooker.de
€ 74,89
Versand: € 0,001
Bestellengesponserter Link
Koichi Furukawa:
Logic Programming '87 - Taschenbuch

2022

ISBN: 9783540194262

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. I… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K.
4
Logic Programming '87
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Logic Programming '87 - neues Buch

ISBN: 9783540194262

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…

Nr. 978-3-540-19426-2. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
5
Logic Programming '87 - Koichi Furukawa/ Hozumi Tanaka/ Tetsunosuke Fujisaki
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Koichi Furukawa/ Hozumi Tanaka/ Tetsunosuke Fujisaki:
Logic Programming '87 - Taschenbuch

ISBN: 9783540194262

*Logic Programming '87* - Proceedings of the 6th Conference Tokyo Japan June 22-24 1987. Auflage 1988 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Me… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Logic Programming '87

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 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.

Detailangaben zum Buch - Logic Programming '87


EAN (ISBN-13): 9783540194262
ISBN (ISBN-10): 3540194266
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1988
Herausgeber: Springer Berlin Heidelberg
340 Seiten
Gewicht: 0,515 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-11-13T21:06:16+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-12T16:29:57+01:00 (Zurich)
ISBN/EAN: 3540194266

ISBN - alternative Schreibweisen:
3-540-19426-6, 978-3-540-19426-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: tanaka, koichi, hozumi, furukawa
Titel des Buches: logic pro, tokyo, 1987 band, logic programming, japan, logic computer science, the 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: 1988-06-22
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VI, 327 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Prolog; inference engine; knowledge; knowledge representation; logic; programming; programming language; proving; Artificial Intelligence; Programming Techniques; Computerprogrammierung und Softwareentwicklung; EA

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.

< zum Archiv...