Atjaunināt sīkdatņu piekrišanu

Frontiers of Combining Systems: 13th International Symposium, FroCoS 2021, Birmingham, UK, September 810, 2021, Proceedings 1st ed. 2021 [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 307 pages, height x width: 235x155 mm, weight: 498 g, 19 Illustrations, color; 22 Illustrations, black and white; XVI, 307 p. 41 illus., 19 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Artificial Intelligence 12941
  • Izdošanas datums: 01-Sep-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030862046
  • ISBN-13: 9783030862046
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 69,22 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 81,44 €
  • 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
Frontiers of Combining Systems: 13th International Symposium, FroCoS 2021, Birmingham, UK, September 810, 2021, Proceedings 1st ed. 2021Palielināt
  • Formāts: Paperback / softback, 307 pages, height x width: 235x155 mm, weight: 498 g, 19 Illustrations, color; 22 Illustrations, black and white; XVI, 307 p. 41 illus., 19 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Artificial Intelligence 12941
  • Izdošanas datums: 01-Sep-2021
  • Izdevniecība: Springer Nature Switzerland AG
  • ISBN-10: 3030862046
  • ISBN-13: 9783030862046
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783030862046.html
Keywords:
This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
Calculi and Unification.- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic.- Non-Disjoint Combined Unification and Closure by Equational Paramodulation.- Symbol Elimination and Applications to Parametric Entailment Problems.- On the copy complexity of width 3 Horn constraint systems.- Description Logics Restricted Unification in the Description Logic FL0.- Combining Event Calculus and Description Logic Reasoning via Logic Programming.- Semantic Forgetting in Expressive Description Logics.- Interactive Theorem Proving Improving Automation for Higher-order Proof Steps.- JEFL: Joint Embedding of Formal Proof Libraries.- Machine Learning Fast and Slow Enigmas and Parental Guidance.- Vampire With a Brain Is a Good ITP Hammer.- Satisfiability Modulo Theories Optimization Modulo Non-Linear Arithmetic via Incremental Linearization.- Quantifier Simplification by Unification in SMT.- Verification Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems.- Formal Analysis of Symbolic Authenticity.- Formal Verification of a Java Component Using the RESOLVE Framework.