Frontiers of Combining Systems
10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Häftad, Engelska, 2015
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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.
Produktinformation
- Utgivningsdatum2015-11-12
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Artificial Intelligence
- Antal sidor357
- FörlagSpringer International Publishing AG
- ISBN9783319242453
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 6
- Nyhet
Del 15264
Computer Security. ESORICS 2024 International Workshops
Joaquin Garcia-Alfaro, Harsha Kalutarage, Naoto Yanai, Rafał Kozik, Paweł Ksieniewicz, Michał Woźniak, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Rita Ugarelli, Isabel Praça, Basel Katt, Sandeep Pirbhulal, Ankur Shukla, Marek Pawlicki, Michał Choraś, Rafal Kozik, Pawel Ksieniewicz, Michal Wozniak, Micha¿ Chora¿, Rafa¿ Kozik, Pawe¿ Ksieniewicz, Micha¿ Wo¿niak
1 149 kr
Computer Security. ESORICS 2021 International Workshops
Sokratis Katsikas, Costas Lambrinoudakis, Nora Cuppens, John Mylopoulos, Christos Kalloniatis, Weizhi Meng, Steven Furnell, Frank Pallas, Jörg Pohle, M. Angela Sasse, Habtamu Abie, Silvio Ranise, Luca Verderame, Enrico Cambiaso, Jorge Maestre Vidal, Marco Antonio Sotelo Monge, Jorg Pohle
1 019 kr