更多详情

在线阅读

被引数量: 0

评价数量: 0

领域

Logical reasoning Logical representation Algorithmic logic First-order logic Context logic Hoare logic Logic for Computable Functions Logical topology Control logic Issue logic

馆藏高校

{{holding.name}}

A Pragmatic Logic for Commands

ISBN: 9789027225016 出版年：1980 页码：141 Melvin Joseph Adler John Benjamins Publishing Company

知识网络

知识图谱网络

内容简介

Amazon评论

{{comment.person}}

{{comment.content}}

作品图片

推荐图书