Information Flow. Logics for the (r)age of information
Philipp Kellerعام:
2002
الإصدار:
First
الناشر:
University of Berne
اللغة:
english
الصفحات:
263
سلسلة الكتب:
Institute for Theoretical Computer Science. University of Berne
ملف:
PDF, 2.93 MB
IPFS:
,
english, 2002