Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Herbrand Sequent Extraction

Sprache EnglischEnglisch
Buch Broschur
Buch Herbrand Sequent Extraction Bruno Woltzenlogel Paleo
Libristo-Code: 08925583
Verlag VDM Verlag Dr. Mueller E.K., Februar 2008
Formal proofs of interesting mathematical theorems are usually too large and full of trivial structu... Vollständige Beschreibung
? points 131 b
53.39 € inkl. MwSt.
Externes Lager Wir versenden in 9-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Schillers samtliche Schriften Gotthold Ephraim Lessing / Buch Broschur
common.buy 31.90 €
DWN 2 Kate Herron / Buch Broschur
common.buy 14.00 €
EL AÑO DEL PENSAMIENTO MAGICO Joan Didion / Buch Buch
common.buy 12.89 €
Haz Tu Propio Reloj de Sol Bolte / Buch Hardcover
common.buy 24.29 €
Rhumatologie Gagnard / Buch Broschur
common.buy 19.49 €
La guerre de Crimée 1853-1856 Alain Gouttman / Buch Broschur
common.buy 15.39 €
Günstig
Obrázková angličtina 1 zvířata Petr Kupka / Buch Buch
common.buy 0.69 €
Gavur Mahallesi Migirdic Margosyan / Buch Broschur
common.buy 15.79 €
Sally, Ausgabe Bayern (Neubearbeitung) - 4. Jahrgangsstufe, Activity Book mit Audio-CD Martina Bredenbröcker / Buch Blatt
common.buy 14.39 €
Schichten Und Erlebnismilieus Thomas Müller-Schneider / Buch Broschur
common.buy 49.99 €

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

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Herbrand Sequent Extraction
Autor Bruno Woltzenlogel Paleo
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2008
Anzahl der Seiten 92
EAN 9783836461528
ISBN 9783836461528
Libristo-Code 08925583
Verlag VDM Verlag Dr. Mueller E.K.
Gewicht 180
Abmessungen 243 x 171 x 10

Kategorie

Mathematik und Naturwissenschaften > Mathematik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Dice T. N. Baker / Buch Broschur
common.buy 16.59 €
Handbook of Medicinal Essential Oils DR. MOHAM BOUKHATEM / Buch Broschur
common.buy 63.29 €
Chronic Kidney Disease Junwei Yang / Buch Broschur
common.buy 89.39 €
Reflections Lynn Picknett / Buch Hardcover
common.buy 24.79 €
Porsche 911 Gt3 Julia Garstecki / Buch Broschur
common.buy 12.19 €
Because Joshua Mensch / Buch Hardcover
common.buy 23.69 €
Frank Merriwell's Own Company Burt L. Standish / Buch Broschur
common.buy 19.09 €
Fellowship of the Ring John Ronald Reuel Tolkien / Buch Hardcover
common.buy 20.59 €
Autodesk CFD 2024 Black Book Matt Weber / Buch Broschur
common.buy 66.09 €
Oxford Reading Tree Biff, Chip and Kipper Stories Decode and Develop: Level 6: The Bigfoot Mystery Roderick Hunt / Buch Broschur
common.buy 9.29 €
Other Histories Kirsten Hastrup / Buch Broschur
common.buy 80.89 €
Prior Analytics Robin Smith / Buch Broschur
common.buy 27.89 €
Policing and Criminal Justice Christopher Blake / Buch Broschur
common.buy 32.19 €
Economic Development and Environmental History in the Anthropocene Gareth Austin / Buch Hardcover
common.buy 187.89 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?