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 …
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
1988, ISBN: 3540194266
[EAN: 9783540194262], Neubuch, [PU: Springer Berlin Heidelberg Jun 1988], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; LOGIK; PHILOSOPHIE PROLOG; INFERENCEENGINE; KNOWLEDGE; KNOWLEDGEREPRESEN… Altro …
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
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 …
booklooker.de BuchWeltWeit Inh. Ludwig Meier e.K. Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
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 …
Hugendubel.de Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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,]
Achtung-Buecher.de Roland Antiquariat UG (haftungsbeschränkt) Ali Mert, 69469 Weinheim Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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 …
1988, ISBN: 3540194266
[EAN: 9783540194262], Neubuch, [PU: Springer Berlin Heidelberg Jun 1988], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; LOGIK; PHILOSOPHIE PROLOG; INFERENCEENGINE; KNOWLEDGE; KNOWLEDGEREPRESEN… Altro …
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 …
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 …
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,]
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540392675 Logic Programming '87 (Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisaki)
- 9783540392675 Logic Programming '87 (Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisaki)
- 9783540463986 Logic Programming '89 (Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisaki)
- 9783540466543 Logic Programming '88 (Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisaki)
- 9783540515647 Logic Programming '88 (Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisaki)
- 9783540539193 Logic Programming '89 (Koichi Furukawa/ Hozumi Tanaka/ Tetsunosuke Fujisaki)
< Per archiviare...