Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč
PPL shop 49 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Balíkovna 49 Kč
Výdejní místo DPD 49 Kč
Zásilkovna 39 Kč
Kontakt
Jak nakupovat
Pomoc
Doručení
Kurýr DPD 69 Kč
PPL shop 49 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Balíkovna 49 Kč
Výdejní místo DPD 49 Kč
Zásilkovna 39 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
▸
Prázdný :-(
0
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Logical Frameworks
Jazyk
Angličtina
Angličtina
Kniha
Pevná
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks....
Celý popis
Libristo kód: 02030023
?
278 b
278 b
2 780
Kč
Skladem u dodavatele
Odesíláme za 9-15 dnů
30 dní na vrácení zboží
Zákazníci také koupili
/
Brožovaná
975
Kč
/
Brožovaná
369
Kč
/
Brožovaná
439
Kč
This 1991 volume contains the proceedings of the first international workshop on Logical Frameworks. The contributions are concerned with the application of logical reasoning and proof theory in computer science and its relevance to automatic theorem proving, and consequently topics such as artificial intelligence. It is the only source for much of this material and will be a necessary purchase for mathematicians and computer scientists undertaking research at the interface of logic and software engineering.
Herečka
&
Polyglotka
EWA KASP
pro
Přehrát video
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.
Informace o knize
Plný název
Logical Frameworks
Autor
Gerard HuetG. Plotkin
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Pevná
Datum vydání
1991
Počet stran
416
EAN
9780521413008
ISBN
0521413001
Libristo kód
02030023
Nakladatelství
Cambridge University Press
Váha
78
Rozměry
152 x 229 x 27
