Types for Proofs and Programs 1
bokomslag Types for Proofs and Programs
Data & IT

Types for Proofs and Programs

Thorsten Altenkirch • Wolfgang Naraschewski • Bernhard Reus

Pocket

789:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 212 sidor
  • 1999
This text constitutes the refereed post-workshop proceedings of the International Workshop on Types for Proofs and Programs, TYPES '98. A variety of aspects of type theory and type systems and their relation to proof theory are addressed.
  • Författare: Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
  • Format: Pocket/Paperback
  • ISBN: 9783540665373
  • Språk: Engelska
  • Antal sidor: 212
  • Utgivningsdatum: 1999-09-01
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Du kanske gillar

  1. bokomslag Intelligent Virtual Agents

    Intelligent Virtual Agents

    Thomas Rist, Ruth Aylett, Daniel Ballin, Jeff Rickel

    Pocket

    769:-
  2. bokomslag Travels to the Source of the Missouri River, Across the American Continent to the Pacific Ocean, by Order of the U.S. Government 1804-1806. New Edition. Vol. II.

    Travels to the Source of the Missouri...

    Meriwether Lewis, Nicholas Biddle, Thomas Reus

    Pocket

    459:-
  3. bokomslag Perception in Multimodal Dialogue Systems

    Perception in Multimodal Dialogue Sys...

    Elisabeth Andr, Laila Dybkjr, Heiko Neumann, Roberto Pieraccini, Michael Weber

    Pocket

    769:-
  4. bokomslag Travels to the Source of the Missouri River, Across the American Continent to the Pacific Ocean, by Order of U.S. Govt. 1804-1806. History of the Expedition Under the Command of Captains Lewis and

    Travels to the Source of the Missouri...

    Meriwether Lewis, Nicholas Biddle, Thomas Reus

    Pocket

    439:-
  5. bokomslag Irrigation in the Mediterranean

    Irrigation in the Mediterranean

    Franois Molle, Carles Sanchis-Ibor, Lloren Avell-Reus

    Inbunden

    1359:-
  6. bokomslag Affective Dialogue Systems

    Affective Dialogue Systems

    Elisabeth Andr, Laila Dybkjaer, Wolfgang Minker, Paul Heisterkamp

    Pocket

    769:-
  7. bokomslag Information Processing in Medical Imaging

    Information Processing in Medical Ima...

    Horst K Hahn Gbor Szkely

    Pocket

    1559:-
  8. bokomslag Perception and Interactive Technologies

    Perception and Interactive Technologies

    Elisabeth Andr, Laila Dybkjr, Wolfgang Minker, Heiko Neumann, Michael Weber

    Pocket

    769:-
  9. bokomslag Virginia Woolf and Heritage

    Virginia Woolf and Heritage

    Jane Degay, Tom Breckin, Anne Reus

    Inbunden

    3019:-
  10. bokomslag Mathematics of Program Construction

    Mathematics of Program Construction

    Bernhard Mller

    Pocket

    769:-

Andra av samma författare

  1. bokomslag Conceptual Programming with Python

    Conceptual Programming with Python

    Isaac Triguero Thorsten Altenkirch

    Pocket

    309:-
  2. bokomslag Limits of Computation

    Limits of Computation

    Bernhard Reus

    Pocket

    689:-