Nettbokhandelen for kjøp og salg av bøker.

Kom i gang

Lær å selge
Lær å kjøpe brukt
Kjøp pensumbøker
Logg inn eller registrer deg
Kjøp et gavekort
For forfattere

Kundeservice

Hjelp
Spor ordre
Brukervilkår
Personvernregler
Informasjonskapsler

Bookis

Om oss
Jobb hos oss!
Gi tilbakemelding
Sjangere

Kontakt oss

Rask levering med

Trygg betaling med

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

Norsk

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

Pocket • 2003 • Norsk Bokmål

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

Av Peter Wessel Zapffe

0 vurderinger • 0.0 av 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

Om boken

These proceedings contain a refereed selection of papers presented at the Second Annual Workshop of the Types Working Group (Computer-Assisted Reasoning based on Type Theory, EUIST project 29001), which was held April 24-28, 2002 in Hotel Erica, Berg en Dal (close to Nijmegen), The Netherlands. The workshop was attended by about 90 researchers. On April 27, there was a special afternoon celebrating the 60th birthday of Per Martin-Lof, one of the founding fathers of the Types community. The after...Vis mer

Om boken

ISBN

9783540140313

Forlag

Berlin : Springer

Publiseringsår

2003

Språk

Norsk Bokmål

Originaltittel

Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers

Format

Pocket

Frakt og retur

Frakt

Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.

Returer

Kontakt selgeren etter levering.

Omtaler · 0

0 vurderinger • 0.0 av 5

Du vil kanskje også like

An Introduction to European Law

An Introduction to European Law

Robert Schütze

Application and Theory of Petri Nets and Concurrency 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Application and Theory of Petri Nets and Concurrency 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Luca Bernardinello

The Murder of Professor Schlick The Rise and Fall of the Vienna Circle

The Murder of Professor Schlick The Rise and Fall of the Vienna Circle

David Edmonds

Software Languages

Software Languages

Ralf Lammel

Theological hermeneutics development and sign…

Theological hermeneutics development and sign…

Werner Jeanrond

Innovation, Complexity and Policy: Contributions from 30 years of innovation policy research in Austria

Innovation, Complexity and Policy: Contributions from 30 years of innovation policy research in Austria

Matthias Weber

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

Europarechts Textausgabe 24

Europarechts Textausgabe 24

Von Prof.

AHO Works

AHO Works

Rachel K.B. Teite

Literary Theory The Basics

Literary Theory The Basics

Johannes Willem Bertens

Studia

Studia

Stefan Alfelt

The Complete Brecht Toolkit

The Complete Brecht Toolkit

Stephen Unwin

Proof and Proving in Mathematics Education

Proof and Proving in Mathematics Education

Gila Hanna

Sociolinguistic Typology

Sociolinguistic Typology

Peter <plass>

Type Navigator The Independent Foundries Handbook

Type Navigator The Independent Foundries Handbook

Jan Middendorp

Teaching and Learning Proof Across the Grades A K-16 Perspective

Teaching and Learning Proof Across the Grades A K-16 Perspective

Despina A. Stylianou

Language attitudes, standardization and language change

Language attitudes, standardization and language change

Marie Maegaard

Let Over Lambda

Let Over Lambda

Doug Hoyte

Literary Theory

Literary Theory

Hans Bertens

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

Das Hansische Kontor zu Bergen und die Lübecker Bergenfahrer : international workshop Lübeck 2003

Das Hansische Kontor zu Bergen und die Lübecker Bergenfahrer : international workshop Lübeck 2003

Philosophy of law (second edition)

Philosophy of law (second edition)

Mark Tebbitt

Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Studia 2002

Studia 2002

Dag Christensen

Syntactic Theory A Formal Introduction

Syntactic Theory A Formal Introduction

Ivan A. Sag

Stop Stealing Sheep & Find Out how Type Works

Stop Stealing Sheep & Find Out how Type Works

Erik Spiekermann

Handbook of Contemporary Syntactic Theory

Handbook of Contemporary Syntactic Theory

Mark (EDT) Baltin

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Et liv på mange vis

Et liv på mange vis

Inga Bostad

Pattern Languages of Program Design 3

Pattern Languages of Program Design 3

Martin, Robert

The elements of typographic style

The elements of typographic style

Bringhurst, Robert

The Language of First-Order Logic

The Language of First-Order Logic

Jon Barwise

Formal Logic

Formal Logic

Jeffrey, Richard C.

Formal Description Techniques

Formal Description Techniques

K.J. Turner

Selected Papers in Logic and Foundations, Didactics, Economics

Selected Papers in Logic and Foundations, Didactics, Economics

Karl Menger

Peter Wessel Zapffe Dikt og drama

Peter Wessel Zapffe Dikt og drama

Guttorm Fløistad

Tonsatzlehre

Tonsatzlehre

Waldemar Bloch