Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings için kapak resmi
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
Ayırtma:

Kopya:

Kütüphane
Click to Sort
Materyal Türü
Click to Sort
Demirbaş Numarası
Click to Sort
Yer Numarası
Click to Sort
Durumu/İade Tarihi
Click to Sort
Materyal Ayırtma
Click to Sort
Arıyor...
 E-Kitap 334702-1001 ONLINE(334702.1)
Arıyor...