Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Herbrand Sequent Extraction

Taal EngelsEngels
Boek Paperback
Boek Herbrand Sequent Extraction Bruno Woltzenlogel Paleo
Libristo-code: 08925583
Uitgeverij VDM Verlag Dr. Mueller E.K., februari 2008
Formal proofs of interesting mathematical theorems are usually too large and full of trivial structu... Volledige beschrijving
? points 127 b
52.26 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Schichten Und Erlebnismilieus Thomas Müller-Schneider / Boek Paperback
common.buy 46.93 €
DWN 2 Kate Herron / Boek Paperback
common.buy 12.55 €
EL AÑO DEL PENSAMIENTO MAGICO Joan Didion / Boek Boek
common.buy 13.66 €
Haz Tu Propio Reloj de Sol Bolte / Boek Gebonden
common.buy 25.32 €
Rhumatologie Gagnard / Boek Paperback
common.buy 17.68 €
La guerre de Crimée 1853-1856 Alain Gouttman / Boek Paperback
common.buy 13.66 €
Schillers samtliche Schriften Gotthold Ephraim Lessing / Boek Paperback
common.buy 28.33 €
Gavur Mahallesi Migirdic Margosyan / Boek Paperback
common.buy 15.07 €
Sally, Ausgabe Bayern (Neubearbeitung) - 4. Jahrgangsstufe, Activity Book mit Audio-CD Martina Bredenbröcker / Boek Blad
common.buy 13.76 €
TOP
Obrázková angličtina 1 zvířata Petr Kupka / Boek Boek
common.buy 2.00 €
TOP
Klasszikus zenemesék: Csipkerózsika / Boek Boek
common.buy 22.40 €
TOP
Klasszikus zenemesék: Péter és a farkas / Boek Gebonden
common.buy 22.40 €
Spirit Board Skull Bloom 15 cm Schrijfwaren Schrijfwaren
common.buy 45.32 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Herbrand Sequent Extraction
Auteur Bruno Woltzenlogel Paleo
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 2008
Aantal pagina's 92
EAN 9783836461528
ISBN 9783836461528
Libristo-code 08925583
Uitgeverij VDM Verlag Dr. Mueller E.K.
Gewicht 180
Afmetingen 243 x 171 x 10

Categorieën

Wiskunde en wetenschap > Wiskunde
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Frank Merriwell's Own Company Burt L. Standish / Boek Paperback
common.buy 18.69 €
Handbook of Medicinal Essential Oils DR. MOHAM BOUKHATEM / Boek Paperback
common.buy 60.10 €
Chronic Kidney Disease Junwei Yang / Boek Paperback
common.buy 85.12 €
Porsche 911 Gt3 Julia Garstecki / Boek Paperback
common.buy 11.75 €
Multiband RF Circuits and Techniques for Wireless Transmitters Wenhua Chen / Boek Paperback
common.buy 50.15 €
Reflections Lynn Picknett / Boek Gebonden
common.buy 23.01 €
Because Joshua Mensch / Boek Gebonden
common.buy 22.20 €
Report of the Trial of Ann Saffen Versus Edward Seaman, for Seduction Anonymous / Boek Paperback
common.buy 18.59 €
DUOBOEK 2 JAAP KASTELEIN_MICHI / Boek binding.
common.buy 22.50 €
Dice T. N. Baker / Boek Paperback
common.buy 16.07 €
Autodesk CFD 2024 Black Book Matt Weber / Boek Paperback
common.buy 65.12 €
Oxford Reading Tree Biff, Chip and Kipper Stories Decode and Develop: Level 6: The Bigfoot Mystery Roderick Hunt / Boek Paperback
common.buy 10.74 €
Other Histories Kirsten Hastrup / Boek Paperback
common.buy 84.22 €
Prior Analytics Robin Smith / Boek Paperback
common.buy 28.03 €
Policing and Criminal Justice Christopher Blake / Boek Paperback
common.buy 30.95 €
Economic Development and Environmental History in the Anthropocene Gareth Austin / Boek Gebonden
common.buy 179.71 €
Pola Negri-The Hollywood Years Tony Villecco / Boek Paperback
common.buy 18.79 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?