Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 - Livro de bolso
1988, ISBN: 3540194266
[EAN: 9783540194262], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; LOGIK; PHILOSOPHIE PROLOG; INFERENCEENGINE; KNOWLEDGE; KNOWLEDGEREPRES… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio: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… mais…
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)] NEW BOOK. Custos de envio: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… mais…
booklooker.de BuchWeltWeit Inh. Ludwig Meier e.K. Custos de envio: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… mais…
Hugendubel.de Custos de envio: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) - Livro de bolso
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 Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 - Livro de bolso
1988, ISBN: 3540194266
[EAN: 9783540194262], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; LOGIK; PHILOSOPHIE PROLOG; INFERENCEENGINE; KNOWLEDGE; KNOWLEDGEREPRES… mais…
1988, ISBN: 3540194266
[EAN: 9783540194262], Neubuch, [PU: Springer Berlin Heidelberg Jun 1988], EDV / THEORIE PROGRAMMIEREN ALLGEMEINES; LOGIK; PHILOSOPHIE PROLOG; INFERENCEENGINE; KNOWLEDGE; KNOWLEDGEREPRESEN… mais…
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… mais…
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… mais…
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 (Lecture Notes in Computer Science (315), Band 315) - Livro de bolso
1988, ISBN: 3540194266
1988 Softcover 327 p. Broschiert ATTENTION 1988 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540194262 2, [PU:Springer,]
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Logic Programming '87
EAN (ISBN-13): 9783540194262
ISBN (ISBN-10): 3540194266
Livro de capa dura
Livro de bolso
Ano de publicação: 1988
Editor/Editora: Springer Berlin Heidelberg
340 Páginas
Peso: 0,515 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-11-13T20:06:16+00:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-04-03T15:15:19+01:00 (Lisbon)
Número ISBN/EAN: 3540194266
Número ISBN - Ortografia alternativa:
3-540-19426-6, 978-3-540-19426-2
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: tanaka, koichi, hozumi, furukawa
Título do livro: logic pro, tokyo, 1987 band, logic programming, japan, logic computer science, the programming
Dados da editora
Autor: Koichi Furukawa; Hozumi Tanaka; Tetsunosuke Fujisaki
Título: Lecture Notes in Computer Science; Logic Programming '87 - Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
Editora: Springer; Springer Berlin
327 Páginas
Ano de publicação: 1988-06-22
Berlin; Heidelberg; DE
Língua: Inglês
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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)
< Para arquivar...