Tipsa dina vänner om produkten:
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
Pris
zł 487,90
Beställningsvara
Förväntad leverans 23 maj - 4 jun
Lägg till din iMusic-önskelista
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
P Clote
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 | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 9 augusti 2000 |
| ISBN13 | 9783540678953 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 550 |
| Mått | 156 × 234 × 29 mm · 1,29 kg |
| Redaktör | Clote, Peter |
| Redaktör | Schwichtenberg, Helmut |
Se alt med P Clote ( t.ex. Pocketbok )