Check order status

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

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 05274389
Price: 51.61 EUR
Availability: InStock
Author: Henk Barendregt
ISBN: 9783540580850

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

Henk Barendregt

Tobias Nipkow

Language

English

Book Paperback

Libristo code: 05274389

Publishers Springer, Berlin, November 1993

This volume contains thoroughly refereed and revised full papers selected from the presentations at... Full description

Libristo code: 05274389

125 b

51.61 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Golem Elvire Murail

Paperback

27.26 €

Hiszpański. Ćwiczenia tematyczne dla początkujących Anna Wawrykowicz

Paperback

9.69 €

Bakuman - Tome 13 Takeshi Obata

Paperback

10.39 €

Glaces Hakim

Paperback

29.59 €

Cuaderno de Ortografía Cantada: 6º de primaria. Método ideográfico y audiovisual (enseñanza basada e Álamo Vaquera

Spiral bound

23.83 €

Extrait Des Reglemens d'Octobre 1735, Qui Ordonnent La Consignation Des Amendes, Et Le Recouvrement France

Paperback

15.55 €

Animales del páramo David Rodríguez

Paperback

22.52 €

MOLLERUSSA YEGUAS I GASSO

Paperback

11.40 €

Irreverente PILAR MARTIN PEREZ

Paperback

15.85 €

Über Leben Reinhold Messner

Hardback

21.91 €

CI Vorrebbe Un Amico Mario Boccia

Paperback

10.29 €

Ost-West-Konflikt aus der Perspektive des Neorealismus Olaf Borgmeier

Paperback

16.15 €

Jean-Claude Juncker Margaretha Kopeinig

Adobe ePub DRM

16.45 €

La Revista Moderna, Volumes 1-2... Martín Aldao

Hardback

39.18 €

Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier

Paperback

19.18 €

Stadt Hamburg (Wandkalender 2026 DIN A3 quer), CALVENDO Monatskalender Calvendo

Calendar

29.99 €

Rocker Devil. Slide und Ellen Bärbel Muschiol

Paperback

11.81 €

Construccion Social de La Ensenanza; Una Aproximacion Antropologica Juan Jesús Velasco Orozco

Paperback

43.73 €

Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a

Paperback

11.30 €

Pathogenese und Klinik der Harnsteine G. Gasser

Paperback

51.81 €

Jim Knopf und die Wilde 13 - Teil 1: Das Meeresleuchten, 2 Audio-CD Michael Ende

Audio CD

13.12 €

Management von Netzwerkorganisationen Jörg Sydow

Paperback

76.96 €

Natur und Kunst als Spiegel der Seele Peter W. Schatt

Paperback

16.15 €

Mercados laborales locales y riesgo de exclusión en la Región de Murcia Antonio . . . [et al. ] Losa Carmona

Paperback

20.60 €

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.