【24h】

Solving Problems on Finite Concrete Logics with the Help of a PC

机译:借助PC解决有限混凝土逻辑问题

获取原文
获取原文并翻译 | 示例
获取外文期刊封面目录资料

摘要

Three routines which may be used in the computer treatment of general finite concrete logics are described. The results for some particular finite concrete logics are presented.
机译:描述了可用于一般有限具体逻辑的计算机处理的三个例程。给出了一些特定的有限具体逻辑的结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号