Kniha 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

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
2 286
This book constitutes the refereed proceedings of the 13th International Workshop on Computer Scienc...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2000
Stránek
550
EAN
9783540678953
ISBN
3540678956
Enbook ID
01567557
Vydavatel
Hmotnost
780
Rozměry
155 x 235 x 29

Kompletní popis

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.

Mohlo by vás zajímat

388
431
657

Bloody Kisses

Mukoro Stevenson Mukoro
451

A Room With A View

Edward Morgan Forster
230

Soul Ties

Tammy Henson
285
403
865
2 567
4 566

Remote Sensing

Siamak Khorram
1 147
3 252

Zákaznicí kteří koupili tuto knihu koupili také

1 178

Maria Werner

Charlotte Spaeth
690

Mozart's Leben.

Aleksandr Dmitrievich Ulybyshev
580
447
1 604