Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings - Livro de bolso
2004, ISBN: 3540226710
[EAN: 9783540226710], Neubuch, [PU: Springer Berlin Heidelberg], LOGIKPROGRAMMIERUNG; DEBUGGING; RESOLUTION; COMPUTATIONAL CONSTRAINTPROGRAMMING; LOGICINFERENCE; LOGICPROGRAMMING; MATHEMA… mais…
AbeBooks.de AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science, Volume 3132) - primeira edição
2004, ISBN: 9783540226710
Livro de bolso
London: A.R.Mowbray, 1956. 0. 1st edition. Introduction to some of the saints for children. Illustrated by Marjorie Anderson. Pp.47, green & black and white illustrations throughout… mais…
gbr, usa | Biblio.co.uk |
2004, ISBN: 9783540226710
Livro de bolso
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- Terminati… mais…
booklooker.de |
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science) - Livro de bolso
2004, ISBN: 9783540226710
Springer, 2004-08-24. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2004-08-24, 3
Biblio.co.uk |
Logic Programming: 20th International Conference, Iclp 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science) - Livro de bolso
2004, ISBN: 9783540226710
Paperback, Gebraucht, sehr guter Zustand, Ex-library paperback in very nice condition with the usual markings and attachments., [PU: Springer]
alibris.co.uk |
Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings - Livro de bolso
2004, ISBN: 3540226710
[EAN: 9783540226710], Neubuch, [PU: Springer Berlin Heidelberg], LOGIKPROGRAMMIERUNG; DEBUGGING; RESOLUTION; COMPUTATIONAL CONSTRAINTPROGRAMMING; LOGICINFERENCE; LOGICPROGRAMMING; MATHEMA… mais…
Bart Demoen, Vladimir Lifschitz:
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science, Volume 3132) - primeira edição2004, ISBN: 9783540226710
Livro de bolso
London: A.R.Mowbray, 1956. 0. 1st edition. Introduction to some of the saints for children. Illustrated by Marjorie Anderson. Pp.47, green & black and white illustrations throughout… mais…
2004
ISBN: 9783540226710
Livro de bolso
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- Terminati… mais…
Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science) - Livro de bolso
2004, ISBN: 9783540226710
Springer, 2004-08-24. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 2004-08-24, 3
Logic Programming: 20th International Conference, Iclp 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science) - Livro de bolso
2004, ISBN: 9783540226710
Paperback, Gebraucht, sehr guter Zustand, Ex-library paperback in very nice condition with the usual markings and attachments., [PU: Springer]
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Logic Programming
EAN (ISBN-13): 9783540226710
ISBN (ISBN-10): 3540226710
Livro de capa dura
Livro de bolso
Ano de publicação: 2004
Editor/Editora: Springer Berlin
496 Páginas
Peso: 0,742 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-04-17T16:46:30+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-02-24T08:10:08+00:00 (Lisbon)
Número ISBN/EAN: 9783540226710
Número ISBN - Ortografia alternativa:
3-540-22671-0, 978-3-540-22671-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: lifschitz, poster
Título do livro: programming, saint malo, notes, logic computer science, france
Dados da editora
Autor: Bart Demoen; Vladimir Lifschitz
Título: Lecture Notes in Computer Science; Logic Programming - 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings
Editora: Springer; Springer Berlin
484 Páginas
Ano de publicação: 2004-08-24
Berlin; Heidelberg; DE
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 484 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Debugging; Resolution; computational logics; constraint programming; logic; logic inference; logic programming; mathematical logic; program logics; programming language; programming theory; prolog programming; proving; semantics; verification; Software Engineering; Programming Techniques; Artificial Intelligence; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; Compiler und Übersetzer; Theoretische Informatik; EA
Invited Talks.- Termination by Abstraction.- Answer Set Programming and the Design of Deliberative Agents.- Regular Talks.- Abstract Domains Based on Regular Types.- Termination of Logic Programs Using Various Dynamic Selection Rules.- Improving Prolog Programs: Refactoring for Prolog.- Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP.- The Refined Operational Semantics of Constraint Handling Rules.- Compiling Ask Constraints.- Constraint Handling Rules and Tabled Execution.- Possible Worlds Semantics for Probabilistic Logic Programs.- Limiting Resolution: From Foundations to Implementation.- Generalised Kernel Sets for Inverse Entailment.- On Programs with Linearly Ordered Multiple Preferences.- Splitting an Operator.- Simplifying Logic Programs Under Answer Set Semantics.- On Acyclic and Head-Cycle Free Nested Logic Programs.- Fast Query Evaluation with (Lazy) Control Flow Compilation.- Speculative Computations in Or-Parallel Tabled Logic Programs.- ?Prolog: A Logic Programming Language with Names, Binding and ?-Equivalence.- Implementation Results in Classical Constructive Negation.- On Hybridization of Local Search and Constraint Propagation.- Arc-Consistency + Unit Propagation = Lookahead.- The period Constraint.- Non-viability Deductions in Arc-Consistency Computation.- Compiling Prioritized Circumscription into Answer Set Programming.- Enhancing the Magic-Set Method for Disjunctive Datalog Programs.- Rectilinear Steiner Tree Construction Using Answer Set Programming.- Adding Domain Dependent Knowledge into Answer Set Programs for Planning.- Multi-agent Coordination as Distributed Logic Programming.- Logic Programs with Annotated Disjunctions.- Poster Presentations.- Abstract Interpretation-Based Mobile CodeCertification.- Labeled Logic Programs.- Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web.- Protein Folding Simulation in CCP.- Applying CLP to Predict Extra-Functional Properties of Component-Based Models.- Main Results of the OADymPPaC Project.- FDBG, the CLP Debugger Library of SICStus Prolog.- Development of Semantic Debuggers Based on Refinement Calculus.- A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer.- Grid Service Selection with PPDL.- Concurrent Constraint Programming and Tree–Based Acoustic Modelling.- MProlog: An Extension of Prolog for Modal Logic Programming.- Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing.- Constraint-Based Synchronization and Verification of Distributed Java Programs.- JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR.- Agent Oriented Logic Programming Constructs in Jinni 2004.Includes supplementary material: sn.pub/extras
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783540277750 Logic Programming (Bart Demoen; Vladimir Lifschitz)
- 9783540277750 Logic Programming (Bart Demoen; Vladimir Lifschitz)
- 9783540454182 Smart Card Programming and Security (Isabelle Attali; Thomas Jensen)
- 9783540746102 Logic Programming (Verónica Dahl; Ilkka Niemelä)
- 9783540426103 Smart Card Programming and Security (E-smart 2001 (Conference), Isabelle Attali, Thomas Jensen)
- 9783540746089 Logic Programming (Verónica Dahl; Ilkka Niemelä)
< Para arquivar...