Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 9783540425540
Price: 38435 HUF
Availability: InStock

15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings

Szerző: Laurent Fribourg

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

38 435 Ft

This book constitutes the refereed proceedings of the 15th International Workshop on Computer Scienc...

Információk a könyvről

Szerző

Laurent Fribourg

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2001

oldal

628

EAN

9783540425540

ISBN

3540425543

Enbook ID

01563752

Kiadó

Springer, Berlin

Súly

875

Méretek

155 x 235 x 32

Teljes leírás

This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001.The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.

É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

Computer Science Logic

15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 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