Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Herbrand Sequent Extraction

Language EnglishEnglish
Book Paperback
Book Herbrand Sequent Extraction Bruno Woltzenlogel Paleo
Libristo code: 08925583
Publishers VDM Verlag Dr. Mueller E.K., February 2008
Formal proofs of interesting mathematical theorems are usually too large and full of trivial structu... Full description
? points 134 b
20 011 Ft
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Schillers samtliche Schriften Gotthold Ephraim Lessing / Book Paperback
common.buy 11 270 Ft
DWN 2 Kate Herron / Book Paperback
common.buy 4 561 Ft
EL AÑO DEL PENSAMIENTO MAGICO Joan Didion / Book Book
common.buy 4 711 Ft
Haz Tu Propio Reloj de Sol Bolte / Book Hardback
common.buy 8 783 Ft
Rhumatologie Gagnard / Book Paperback
common.buy 6 771 Ft
La guerre de Crimée 1853-1856 Alain Gouttman / Book Paperback
common.buy 5 322 Ft
Affordable
Obrázková angličtina 1 zvířata Petr Kupka / Book Book
common.buy 357 Ft
Gavur Mahallesi Migirdic Margosyan / Book Paperback
common.buy 5 934 Ft
Sally, Ausgabe Bayern (Neubearbeitung) - 4. Jahrgangsstufe, Activity Book mit Audio-CD Martina Bredenbröcker / Book Sheet
common.buy 5 412 Ft
Schichten Und Erlebnismilieus Thomas Müller-Schneider / Book Paperback
common.buy 18 549 Ft

Formal proofs of interesting mathematical theorems are usually too large and full of trivial structural information, and hence hard to understand and analyze. Techniques to extract specific essential information from these proofs are needed. This book desc

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Herbrand Sequent Extraction
Author Bruno Woltzenlogel Paleo
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 92
EAN 9783836461528
ISBN 9783836461528
Libristo code 08925583
Publishers VDM Verlag Dr. Mueller E.K.
Weight 180
Dimensions 243 x 171 x 10

Categories

Mathematics & Science > Mathematics
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Dice T. N. Baker / Book Paperback
common.buy 6 277 Ft
Handbook of Medicinal Essential Oils DR. MOHAM BOUKHATEM / Book Paperback
common.buy 23 871 Ft
Chronic Kidney Disease Junwei Yang / Book Paperback
common.buy 33 651 Ft
Reflections Lynn Picknett / Book Hardback
common.buy 9 291 Ft
Porsche 911 Gt3 Julia Garstecki / Book Paperback
common.buy 4 561 Ft
Because Joshua Mensch / Book Hardback
common.buy 8 096 Ft
Frank Merriwell's Own Company Burt L. Standish / Book Paperback
common.buy 7 156 Ft
Fellowship of the Ring John Ronald Reuel Tolkien / Book Hardback
common.buy 7 781 Ft
Autodesk CFD 2024 Black Book Matt Weber / Book Paperback
common.buy 24 811 Ft
Oxford Reading Tree Biff, Chip and Kipper Stories Decode and Develop: Level 6: The Bigfoot Mystery Roderick Hunt / Book Paperback
common.buy 4 250 Ft
Other Histories Kirsten Hastrup / Book Paperback
common.buy 30 251 Ft
Prior Analytics Robin Smith / Book Paperback
common.buy 10 184 Ft
Policing and Criminal Justice Christopher Blake / Book Paperback
common.buy 11 139 Ft
Economic Development and Environmental History in the Anthropocene Gareth Austin / Book Hardback
common.buy 65 440 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?