Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
tarafından
Albert, Elvira. editor.
Başlık
:
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Yazar
:
Albert, Elvira. editor.
ISBN
:
9783642381973
Fiziksel Tanımlama
:
X, 245 p. 36 illus. online resource.
Seri
:
Lecture Notes in Computer Science, 7844
Konu Terimleri
:
Computer science.
Software engineering.
Logic design.
Computational complexity.
Artificial intelligence.
Programming Techniques.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Discrete Mathematics in Computer Science.
Logics and Meanings of Programs.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 334552-1001 | ONLINE(334552.1) | | Elektronik Kütüphane |