Frontiers of Combining Systems edito da Springer-Verlag GmbH
Alta reperibilità

Frontiers of Combining Systems

10th International Symposium, Frocos 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

EAN:

9783319242453

ISBN:

3319242458

Pagine:
357
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione Frontiers of Combining Systems

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length. 

Spedizione gratuita
€ 63.92
o 3 rate da € 21.31 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Frontiers of Combining Systems
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti