695 resultater (0,48833 sekunder)

Vis alle filtre

Mærke

Butik

Pris (EUR)

Vis alle

Nulstil filter

Produkter
Fra
Butikker

Automated Deduction – CADE 26 - - Bog - Springer International Publishing AG - Plusbog.dk

Automated Deduction – CADE 26 - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. The chapter ''Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems'' is published open access under a CC BY 4.0 license.

DKK 634.00
3

PRIMA 2016: Principles and Practice of Multi-Agent Systems - - Bog - Springer International Publishing AG - Plusbog.dk

PRIMA 2016: Principles and Practice of Multi-Agent Systems - - Bog - Springer International Publishing AG - Plusbog.dk

This book constitutes the refereed proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2016, held in Phuket, Thailand, in August 22-26, 2016. The 16 revised full papers presented together with two invited papers, 9 short papers and three extended abstracts were carefully reviewed and selected from 50 submissions. The intention of the papers is to showcase research in several domains, ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

DKK 416.00
3