Könyv Computer Science Logic Peter G. Clote

Computer Science Logic

14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings

Nyelv: Angol
Kötés: Puha kötésű
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 13th International Workshop on Computer Scienc...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2000
oldal
550
EAN
9783540678953
ISBN
3540678956
Enbook ID
01567557
Súly
780
Méretek
155 x 235 x 29

Teljes leírás

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August 2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, etc.

Érdekelheti

5 675 Ft
7 184 Ft
9 610 Ft
5 846 Ft

Bloody Kisses

Mukoro Stevenson Mukoro
7 421 Ft

A Room With A View

Edward Morgan Forster
3 831 Ft

Soul Ties

Tammy Henson
4 727 Ft
6 786 Ft
14 108 Ft
40 382 Ft
76 759 Ft

Remote Sensing

Siamak Khorram
19 274 Ft
53 596 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

19 802 Ft

Maria Werner

Charlotte Spaeth
11 736 Ft

Mozart's Leben.

Aleksandr Dmitrievich Ulybyshev
9 610 Ft
6 544 Ft
26 981 Ft