- 5 Risultati
prezzo più basso: € 37,50, prezzo più alto: € 74,89, prezzo medio: € 59,98
1
Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 - Koichi Furukawa
Ordina
da ZVAB.com
€ 59,11
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Koichi Furukawa:

Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 - edizione con copertina flessibile

1988, ISBN: 3540194266

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

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
Chiudere (X)
2
Logic Programming '87 - Koichi Furukawa
Ordina
da AbeBooks.de
€ 74,89
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

Koichi Furukawa:

Logic Programming '87 - edizione con copertina flessibile

1988, ISBN: 3540194266

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

NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)]
Chiudere (X)
3
Logic Programming '87 - Koichi Furukawa
Ordina
da booklooker.de
€ 74,89
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Koichi Furukawa:
Logic Programming '87 - edizione con copertina flessibile

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… Altro …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K.
Chiudere (X)
4
Logic Programming '87 - Koichi Furukawa/ Hozumi Tanaka/ Tetsunosuke Fujisaki
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Koichi Furukawa/ Hozumi Tanaka/ Tetsunosuke Fujisaki:
Logic Programming '87 - edizione con copertina flessibile

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… Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
Chiudere (X)
5
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 (Lecture Notes in Computer Science (315), Band 315) - Tanaka, Hozumi, Tetsunosuke Fujisaki und Koichi Furukawa
Ordina
da Achtung-Buecher.de
€ 37,50
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Tanaka, Hozumi, Tetsunosuke Fujisaki und Koichi Furukawa:
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 (Lecture Notes in Computer Science (315), Band 315) - edizione con copertina flessibile

1988, ISBN: 3540194266

1988 Softcover 327 p. Broschiert ATTENTION 1988 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540194262 2, [PU:Springer,]

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Roland Antiquariat UG (haftungsbeschränkt) Ali Mert, 69469 Weinheim
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Logic Programming '87
Autore:
Titolo:
ISBN:

3540194266


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.

Informazioni dettagliate del libro - Logic Programming '87


EAN (ISBN-13): 9783540194262
ISBN (ISBN-10): 3540194266
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1988
Editore: Springer Berlin Heidelberg
340 Pagine
Peso: 0,515 kg
Lingua: eng/Englisch

Libro nella banca dati dal 2007-11-13T21:06:16+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-03T16:15:19+02:00 (Zurich)
ISBN/EAN: 3540194266

ISBN - Stili di scrittura alternativi:
3-540-19426-6, 978-3-540-19426-2
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : tanaka, koichi, hozumi, furukawa
Titolo del libro: logic pro, tokyo, 1987 band, logic programming, japan, logic computer science, the programming

Dati dell'editore

Autore: Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisaki
Titolo: Lecture Notes in Computer Science; Logic Programming '87 - Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
Editore: Springer; Springer Berlin
327 Pagine
Anno di pubblicazione: 1988-06-22
Berlin; Heidelberg; DE
Lingua: Inglese
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.
< Per archiviare...