Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 299 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Computer Science Logic
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This volume contains the final versions of a collection of papers presented at the Annual Conference...
Celý popis
Libristo kód: 05274407
?
147 b
147 b
1 472
Kč
Skladem u dodavatele v malém množství
Odesíláme za 10-14 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
Informace o knize
Plný název
Computer Science Logic
Autor
Egon Börger, Yuri Gurevich, Karl Meinke
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
1994
Počet stran
336
EAN
9783540582779
ISBN
3540582770
Libristo kód
05274407
Nakladatelství
Springer, Berlin
Váha
466
Rozměry
216 x 279 x 18
