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

Types for Proofs and Programs

International Workshop, TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers

Sprache EnglischEnglisch
Buch Broschur
Buch Types for Proofs and Programs Henk Barendregt
Libristo-Code: 05274389
Verlag Springer, Berlin, November 1993
This volume contains thoroughly refereed and revised full papers selected from the presentations at... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

MOLLERUSSA YEGUAS I GASSO / Buch Broschur
common.buy 11.79 €
Golem Elvire Murail / Buch Broschur
common.buy 28.39 €
Glaces Hakim / Buch Broschur
common.buy 30.79 €
Bakuman - Tome 13 Takeshi Obata / Buch Broschur
common.buy 10.89 €
Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo / Kalender/Terminbuch Kalender
common.buy 33.99 €
Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz / Buch Broschur
common.buy 10.29 €
Animales del páramo David Rodríguez / Buch Broschur
common.buy 23.39 €
Irreverente PILAR MARTIN PEREZ / Buch Broschur
common.buy 15.59 €
Über Leben Reinhold Messner / Buch Hardcover
common.buy 26.00 €
CI Vorrebbe Un Amico Mario Boccia / Buch Broschur
common.buy 10.69 €
Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier / Buch Broschur
common.buy 20.09 €
Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier / Buch Broschur
common.buy 17.95 €
Aguas azules para una batalla Fabra / Hörbuch MP3
common.buy 9.99 €
Jean-Claude Juncker Margaretha Kopeinig / E-Book Adobe ePub DRM
common.buy 17.19 €
La Revista Moderna, Volumes 1-2... Martín Aldao / Buch Hardcover
common.buy 40.69 €
Rocker Devil. Slide und Ellen Bärbel Muschiol / Buch Broschur
common.buy 12.99 €
Pathogenese und Klinik der Harnsteine G. Gasser / Buch Broschur
common.buy 54.99 €
Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a / Buch Broschur
common.buy 11.69 €
Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende / Audio Audio CD
common.buy 13.69 €
Management von Netzwerkorganisationen Jörg Sydow / Buch Broschur
common.buy 80.29 €
Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona / Buch Broschur
common.buy 21.29 €
Natur und Kunst als Spiegel der Seele Peter W. Schatt / Buch Broschur
common.buy 17.95 €
Fundamentos físicos de la edificación Blasco Laffón / Buch Broschur
common.buy 46.09 €
CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL / Audio Audio CD
common.buy 30.59 €

This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.

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 Types for Proofs and Programs
Autor Henk Barendregt, Tobias Nipkow
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1994
Anzahl der Seiten 395
EAN 9783540580850
ISBN 3540580859
Libristo-Code 05274389
Verlag Springer, Berlin
Gewicht 526
Abmessungen 155 x 233 x 21

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Betriebssysteme
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

Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Buch Broschur
common.buy 32.79 €
Lambda Calculus with Types Henk Barendregt / Buch Hardcover
common.buy 113.29 €
Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971 Henk Barendregt / Buch Broschur
common.buy 20.09 €
Mardi Gras Rebecca Pettiford / Buch Hardcover
common.buy 11.59 €
Biotechnology Entrepreneurship Bootcamp Arthur A. Boni / Buch Broschur
common.buy 62.69 €
Against Distance Peter Makuck / Buch Broschur
common.buy 11.89 €
The Unified Gospels - The Complete Life Of Christ In The World Of The Evangelists John W. Lea / Buch Broschur
common.buy 26.99 €
The Mystic Youth Of Jesus Yogi Ramacharaka / Buch Broschur
common.buy 19.09 €
Unfreezing the Arctic Andrew Stuhl / Buch Hardcover
common.buy 45.79 €
Pop-Up Robert Wernli / Buch Broschur
common.buy 23.09 €
Clinton, New Terrorism and the Origins of the War on Terror Chin-Kuei Tsui / Buch Hardcover
common.buy 231.49 €
Top
To Be Read at Dusk Charles Dickens / Buch Broschur
common.buy 3.79 €
Testimonies of His Love Lisa N Aldridge - Jones / Buch Broschur
common.buy 14.79 €
History of Modern Morocco Susan Gilson Miller / Buch Hardcover
common.buy 111.29 €
All Things New 2015 - 2016 Wayne Fowler / Buch Hardcover
common.buy 36.09 €
Günstig
A Rose Veiled in Black: Art and Arcana of Our Lady Babalon Robert Fitzgerald / Buch Broschur
common.buy 15.99 €
Ama Betty Hallock / Buch Hardcover
common.buy 25.79 €
Hiawatha Passing JEFF HAGEN / Buch Broschur
common.buy 18.79 €
Out of the Dark Gregg Hurwitz / Buch Broschur
common.buy 12.49 €
Handbook of Clinical Adult Genetics and Genomics Shweta Dhar / Buch Broschur
common.buy 182.79 €
Toll Road Girls 7 J Ware / Buch Broschur
common.buy 8.29 €
Top
Your Whole Body Misha Iver / Buch Broschur
common.buy 15.39 €
Mad about Shakespeare: From Classroom to Theatre to Emergency Room Jonathan Bate / E-Book Adobe ePub DRM
common.buy 10.29 €
Günstig
Mothers of The Nation The Ambiguous Role of Nazi Women in The Third Reich / Buch Broschur
common.buy 6.69 €

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