Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Frontiers of Combining Systems

Name: Frontiers of Combining Systems
Brand: Springer
SKU: 41042734
Price: 319.09 PLN
Availability: InStock
Author: Clare Dixon
ISBN: 9783319661674

11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017, Proceedings

Clare Dixon

Marcelo Finger

Język

Angielski

E-book Adobe ePub DRM

Kod Libristo: 41042734

Wydawnictwo Springer, wrzesień 2017

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining... Cały opis

Kod Libristo: 41042734

180 b

319.09 zł

Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

Lebererkrankungen - 1 x 1 der Therapie Henryk Dancygier

Miękka

134.36 zł

Kurzgefasste albanesische Grammatik Gustav Meyrink

Miękka

65.50 zł

Superjednoduchá matematika

Twarda

96.42 zł

GIULIA FARNESIA - Bir Ruhtan Mektuplar - Gerçek Bir Giulia Farnese Hikayesi Roberta Mezzabarba

Miękka

105.98 zł

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, 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.