Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science - P Clote - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540678953 - 9 augustus 2000
Indien omslag en titel niet overeenkomen, is de titel correct

Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science

P Clote

Prijs
€ 116,99

Besteld in een afgelegen magazijn

Verwachte levering 26 mei - 5 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
Eller

Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science

The papers cover: 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; and many others topics.

550 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 9 augustus 2000
ISBN13 9783540678953
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 550
Afmetingen 156 × 234 × 29 mm   ·   1,29 kg
Uitgever Clote, Peter
Uitgever Schwichtenberg, Helmut

Bekijk alles van P Clote ( bijv. Paperback Book )