Gösterilen 1 - 1 sonuçlar arası kayıtlar. 1 sonuç. Aranan kelime '"Association for Logic Programming"', Sorgu süresi: 0.25s Sonuçları Daraltın
1
Specification and verification of declarative open interaction models A Logic-Based Approach /
Yazar: Montalti, Marco
Baskı/Yayın Bilgisi 2010.
“... for Logic Programming for the most outstanding thesis focusing on computational logic, discussed between...”
Tam Metin Erişim
Livro
Favorilerime ekle
Kaydedildi:
Arama Araçları: RSS Beslemesi — Aramayı e-posta ile gönder — Aramayı sakla