Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
tarafından
 
Hasegawa, Masahito. editor.

Başlık
: 
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

Yazar
: 
Hasegawa, Masahito. editor.

ISBN
: 
9783642389467

Fiziksel Tanımlama
: 
XII, 251 p. 18 illus. online resource.

Seri
: 
Lecture Notes in Computer Science, 7941

Konu Terimleri
: 
Computer science.
 
Logic design.
 
Algebra -- Data processing.
 
Electronic data processing.
 
Logic, Symbolic and mathematical.
 
Mathematical Logic and Formal Languages.
 
Mathematics of Computing.
 
Logics and Meanings of Programs.
 
Symbolic and Algebraic Manipulation.
 
Computing Methodologies.
 
Mathematical Logic and Foundations.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
http://dx.doi.org/10.1007/978-3-642-38946-7


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap334702-1001ONLINE(334702.1)Elektronik Kütüphane