Coverart for item
The Resource Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, revised selected papers, Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner, (electronic book)

Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, revised selected papers, Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner, (electronic book)

Label
Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, revised selected papers
Title
Types for Proofs and Programs
Title remainder
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, revised selected papers
Statement of responsibility
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
Creator
Contributor
Subject
Language
eng
Member of
Characteristic
online system or service
Image bit depth
0
http://bibfra.me/vocab/lite/meetingDate
2004
http://bibfra.me/vocab/lite/meetingName
TYPES 2004
http://library.link/vocab/relatedWorkOrContributorDate
1962-
http://library.link/vocab/relatedWorkOrContributorName
  • Filliâtre, Jean-Christophe.
  • Paulin-Mohring, Christine
  • Werner, Benjamin.
Series statement
Lecture notes in computer science
Series volume
3839
http://library.link/vocab/subjectName
  • Algebra
  • Artificial intelligence
  • Computer science
  • Computer science
  • Logic design
Label
Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, revised selected papers, Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner, (electronic book)
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
File format
multiple file formats
Isbn
9783540314295
Level of compression
uncompressed
Other physical details
v.: digital
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
Label
Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, revised selected papers, Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner, (electronic book)
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references and index
Color
not applicable
Dimensions
unknown
File format
multiple file formats
Isbn
9783540314295
Level of compression
uncompressed
Other physical details
v.: digital
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote

Library Locations

Processing Feedback ...