更多详情

在线阅读

被引数量: 0

评价数量: 0

领域

Logical reasoning Institutional logic Separation logic Algorithmic logic Relational logic Issue logic Ethical decision Hoare logic Deterministic algorithm Specification logic

馆藏高校

{{holding.name}}

Logik kollektiver Entscheidungen

ISBN: 9783486210163 出版年：2015 页码：304 Kern, Lucian,Nida-Rumelin, Julian De Gruyter Oldenbourg

知识网络

知识图谱网络

内容简介

Amazon评论

{{comment.person}}

{{comment.content}}

作品图片

推荐图书