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