Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Callaghan, Paul (Editor, http://id.loc.gov/vocabulary/relators/edt), Luo, Zhaohui (Editor, http://id.loc.gov/vocabulary/relators/edt), McKinna, James (Editor, http://id.loc.gov/vocabulary/relators/edt), Pollack, Robert (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Edition:	1st ed. 2002.
Series:	Lecture Notes in Computer Science, 2277
Subjects:	Computer logic. Architecture, Computer. Mathematical logic. Programming languages (Electronic computers). Artificial intelligence. Logics and Meanings of Programs. Computer System Implementation. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Programming Languages, Compilers, Interpreters. Artificial Intelligence.
Online Access:	Full Text via HEAL-Link

Full Text via HEAL-Link

Holdings details from ΒΚΠ - Πατρα: ALFd
Call Number:	330.01 BAU
Copy 1	Available

Similar Items