1
Được phát hành 2007
Mục lục: ...Computing The Semantic Information In An Utterance -- Justified Sloppiness In Anaphoric Reference...
lấy văn bản
Điện tử eBook
2
Được phát hành 2006
Mục lục: ... Proofs Meet Formal Logic – The Problem of Underspecification and Granularity -- Processing Textbook-Style...
lấy văn bản
Điện tử eBook
3
Được phát hành 2008
Mục lục: ... Axiomatizability Results to Extensions of Process Algebras -- Finite Equational Bases for Fragments of CCS...
lấy văn bản
Điện tử eBook