Frontiers of Combining Systems

Szerző: Clare Dixon, Marcelo Finger

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer International Publishing AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

23 572 Ft

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining...

Információk a könyvről

Szerző

Clare Dixon, Marcelo Finger

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2017

oldal

351

EAN

9783319661667

ISBN

3319661663

Enbook ID

16771870

Kiadó

Springer International Publishing AG

Súly

5504

Méretek

155 x 235 x 20

Teljes leírás

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics. The paper 'Subtropical Satisfiability' is open access under a CC BY 4.0 license via link.springer.com.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Frontiers of Combining Systems

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták