Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
tarafından
Alpuente, María. editor.
Başlık
:
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Yazar
:
Alpuente, María. editor.
ISBN
:
9783642205514
Fiziksel Tanımlama
:
X, 249p. online resource.
Seri
:
Lecture Notes in Computer Science, 6564
Seri Başlığı
:
Lecture Notes in Computer Science, 0302-9743 ; 6564
Konu Terimleri
:
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Algorithms.
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 | 194411-2001 | ONLINE | | Elektronik Kütüphane |