1
Baskı/Yayın Bilgisi 2005
İçindekiler: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2014
İçindekiler: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2006
İçindekiler: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
Tam Metin Erişim
Elektronik Ekitap