Frontiers of Combining Systems

Name: Frontiers of Combining Systems
Brand: Springer, Berlin
SKU: 9783540746201
Price: 19840 HUF
Availability: InStock

6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings

Szerző: Boris Konev, Frank Wolter

Nyelv:

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

Kiadó: Springer, Berlin

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

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

19 840 Ft

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Co...

Információk a könyvről

Szerző

Boris Konev, Frank Wolter

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2007

oldal

286

EAN

9783540746201

ISBN

354074620X

Enbook ID

01569153

Kiadó

Springer, Berlin

Súly

456

Méretek

155 x 235 x 15

Teljes leírás

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

É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

6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings

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