Cover Image
Read Now

Types for Proofs and Programs International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

Bibliographic Details
Main Author: Geuvers, Herman
Other Authors: Wiedijk, Freek
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2003
Series:Lecture Notes in Computer Science
Subjects:
Artificial Intelligence
Computer Science
Logic Design
Artificial Intelligence (incl. Robotics)
Logics And Meanings Of Programs
Mathematical Logic And Formal Languages
Programming Languages, Compilers, Interpreters
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Description
Physical Description:v. digital
ISBN:9783540391852
978-3-540-14031-3

Similar Items