首页> 外国专利> METHOD AND DEVICE FOR VERIFYING a mathematical proof.

METHOD AND DEVICE FOR VERIFYING a mathematical proof.

机译：验证数学证明的方法和装置。

页面导航

著录项
相似文献

摘要

机译：

著录项

公开/公告号NL8703110A

专利类型
公开/公告日1989-07-17

原文格式PDF
申请/专利权人 N.V. PHILIPS GLOEILAMPENFABRIEKEN TE EINDHOVEN.;
展开▼

申请/专利号NL19870003110
发明设计人
展开▼

申请日1987-12-23
分类号G06F17/10;G06F9/44;G06F19/00;
国家 NL
入库时间 2022-08-22 06:38:46

相似文献

专利
外文文献
中文文献

获取专利

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号