Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings
by
 
Urzyczyn, Paweł. editor.

Title
: 
Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings

Author
: 
Urzyczyn, Paweł. editor.

ISBN
: 
9783540320142

Physical Description
: 
XI, 433 p. Also available online. online resource.

Series
: 
Lecture Notes in Computer Science, 3461

Series Title
: 
Lecture Notes in Computer Science, 0302-9743 ; 3461

Subject Term
: 
Computer science.
 
Logic design.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/b135690


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book183082-2001ONLINEElektronik Kütüphane