Atjaunināt sīkdatņu piekrišanu

Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings 2019 ed. [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 239 pages, height x width: 235x155 mm, weight: 454 g, 37 Illustrations, color; 963 Illustrations, black and white; X, 239 p. 1000 illus., 37 illus. in color., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 11372
  • Izdošanas datums: 19-Dec-2018
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030059979
  • ISBN-13: 9783030059972
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings 2019 ed.Palielināt
  • Formāts: Paperback / softback, 239 pages, height x width: 235x155 mm, weight: 454 g, 37 Illustrations, color; 963 Illustrations, black and white; X, 239 p. 1000 illus., 37 illus. in color., 1 Paperback / softback
  • Sērija : Programming and Software Engineering 11372
  • Izdošanas datums: 19-Dec-2018
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030059979
  • ISBN-13: 9783030059972
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783030059972.html
Keywords:
This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including logic, constraint, and functional languages. 















Recenzijas

 

Strong Equivalence and Program's Structure in Arguing Essential
Equivalence between First-Order Logic Programs.- Automatic Program Rewriting
in Non-Ground Answer Set Programs.- Personalized Course Schedule Planning
using Answer Set Programming.- An ASP-based Approach to Representing and
Querying Textual Knowledge.- Natural Language Generation From Ontologies.-
Improving Residuation in Declarative Programs.- Incremental Evaluation of
Lattice-Based Aggregates in Logic Programming Using Modular TCLP.- A
Combinatorial Testing Framework for Intuitionistic Propositional Theorem
Provers.- Faster Coroutine Pipelines: A Reconstruction.- Classes of Arbitrary
Kind.- Distributed Protocol Combinators.- Composing Syntactical Constructs to
Create Domain-Specific Languages.- Proof Carrying Plans.- Static Partitioning
of Spreadsheets for Parallel Execution.