Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
tarafından
Codish, Michael. editor.
Başlık
:
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
Yazar
:
Codish, Michael. editor.
ISBN
:
9783319071510
Fiziksel Niteleme
:
XVI, 353 p. 81 illus. online resource.
Seri
:
Lecture Notes in Computer Science, 8475
Özet
:
This book constitutes the refereed proceedings of the 12th International Symposium on Functional and Logic Programming, FLOPS 2014, held in Kanazawa, Japan, in June 2014. The 21 full papers and 3 invited talks presented in this volume were carefully reviewed and selected from 41 submissions. They deal with declarative programming, including functional programming and logic programming.
Konu Başlığı
:
Computer science.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Artificial intelligence.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Programming Techniques.
Yazar Ek Girişi
:
Codish, Michael.
Sumii, Eijiro.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 20946-1001 | QA76.758 | Springer E-Book Collection |