Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Methods of Cut-Elimination

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Methods of Cut-Elimination Matthias Baaz
Libristo kód: 01979707
Nakladateľstvo Springer Netherlands, november 2012
This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth... Celý popis
? points 249 b
102.31 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Los días y las noches en la casa grande Juan Martín-Mora Haba / Kniha Brožovaná
common.buy 16.17 €
Gendersensible Gestaltung des neuen Studiengangs "BWL - Digitale Wirtschaft" an der Beuth Hochschule für Technik Berlin Martina Brandt / Kniha List
common.buy 10.04 €
Ideologische Durchdringung der Universitat im Nationalsozialismus. Der Kriegseinsatz der Deutschen Geisteswissenschaften Nejla Demirkaya / Kniha Brožovaná
common.buy 16.07 €
vergessene Zimmer Manfred Liebrecht / Kniha Brožovaná
common.buy 7.23 €
La Biblioth?que du gilet jaune: De la col?re ? la conscience; de la révolte ? la révolution Tsarafine Mohamed-Oumbia / Kniha Brožovaná
common.buy 8.53 €
Les métamorphoses de Virgile - réception de la figure de l'auctor, Antiquité, Moyen âge, temps modernes / Kniha Brožovaná
common.buy 81.31 €
Magie Josef Veselý / Kniha Pevná
common.buy 19.29 €

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Methods of Cut-Elimination
Autor Matthias Baaz, Alexander Leitsch
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2013
Počet strán 290
EAN 9789400734975
ISBN 9400734972
Libristo kód 01979707
Nakladateľstvo Springer Netherlands
Váha 419
Rozmery 158 x 14 x 15

Kategórie

Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Politics and Development in the Caribbean Basin J Grugel / Kniha Brožovaná
common.buy 60.80 €
The Raven Cipher Madison Carter / Kniha Brožovaná
common.buy 12.55 €
Proceedings of the 9th International Conference on Computational Science and Technology Rayner Alfred / Kniha Brožovaná
common.buy 357.42 €
Quiet Play ACTIVITY CRUSADES / Kniha Brožovaná
common.buy 11.55 €
Ravaging Myths Frederick Marshall Brown / Kniha Brožovaná
common.buy 9.14 €
The Cold Eye Laura Anne Gilman / Kniha Brožovaná
common.buy 12.96 €
Bessie's Fortune Mary Jane Holmes / Kniha Pevná
common.buy 37.98 €
Arab Contemporary: Architecture & Identity Poul Erik Tojner / Kniha Brožovaná
common.buy 36.18 €
Turkey Telecom Laws and Regulations Handbook - Strategic Information and Regulations Inc IBP / Kniha Brožovaná
common.buy 78.59 €
World Economic Review, 3, 2014 Wea / Kniha Brožovaná
common.buy 19.59 €
Modelling Covariances and Latent Variables Using EQS Andrew (all of The Institute of Psychiatry) Pickles / Kniha Brožovaná
common.buy 180.11 €
Pathway of Peace/ Cistercian Wisdom according to Saint Bernard Charles Dumont / Kniha Brožovaná
common.buy 24.02 €
National Curriculum English Practice Book for Year 1 Scholastic / Kniha Brožovaná
common.buy 9.64 €
Catholicism Today Evyatar Marienberg / Kniha Brožovaná
common.buy 87.54 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?