Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 05274389
Price: 19972 HUF
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

136 b

19 972 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

MOLLERUSSA YEGUAS I GASSO

Paperback

4 072 Ft

Golem Elvire Murail

Paperback

9 810 Ft

Glaces Hakim

Paperback

10 635 Ft

Bakuman - Tome 13 Takeshi Obata

Paperback

3 766 Ft

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

Calendar

11 721 Ft

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

Paperback

3 456 Ft

Animales del páramo David Rodríguez

Paperback

8 047 Ft

Irreverente PILAR MARTIN PEREZ

Paperback

5 635 Ft

Über Leben Reinhold Messner

Hardback

8 590 Ft

CI Vorrebbe Un Amico Mario Boccia

Paperback

3 970 Ft

Dragonboule - Nouvelle Edition - Tome 1 Davy Mourier

Paperback

6 943 Ft

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

Paperback

6 294 Ft

Aguas azules para una batalla Fabra

MP3

3 381 Ft

Jean-Claude Juncker Margaretha Kopeinig

Adobe ePub DRM

5 853 Ft

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

Hardback

15 032 Ft

Rocker Devil. Slide und Ellen Bärbel Muschiol

Paperback

4 606 Ft

Pathogenese und Klinik der Harnsteine G. Gasser

Paperback

20 106 Ft

Ropajes de La Oscuridad y del Silencio Nelson Torres Pe a

Paperback

4 337 Ft

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

Audio CD

4 675 Ft

Management von Netzwerkorganisationen Jörg Sydow

Paperback

29 800 Ft

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

Paperback

7 324 Ft

Natur und Kunst als Spiegel der Seele Peter W. Schatt

Paperback

6 294 Ft

Fundamentos físicos de la edificación Blasco Laffón

Paperback

15 914 Ft

CRÓNICAS DE LOS SAMURÁIS R. IBARZABAL

Audio CD

10 547 Ft

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.