2011年4月25日
 
用户名:
密码:
 
新闻快递 | 原创文档 | 咨询培训 | 专家顾问 | 个人专栏 | CSDP | 产业报告 | 上海SPIN | 读编往来
首页 | 企业信息化 | 技术新热点 | 成才乐园New! | 软件工程 | 信息安全 | IT教育 | 软件出口 | 网站论坛
技术新热点
物联网/产品电子代码 
语音挖掘和语音门户
笔计算/输入
论创新
创造性... 
语义Web
Web 智能
自适应Web
数据仓库及挖掘
P2P计算
互联空间
数字游戏开发
实时监控
数据同步
构件框架
中间件技术
多媒体技术
产品线工程
软件规模客户化
嵌入式应用与系统
嵌入式测试
实时操作系统
嵌入式数据库
可编程DSP
电子设计自动化
协同设计
安全性
数字版权管理
技术动态趋势
人工智能
开放源程序
在线分析/数据挖掘
电子商务工程
面向方面程序
再生式程序
计算机支持协同工作
工作流管理
生物信息学
分子计算
量子计算
高性能计算
并行计算
互联网技术
新技术信息资源
博客
RSS
无线局域网
无线固定宽带技术
无线应用
普及计算
柔软晶体管
文档聚类
文档工程 
 
 
定理证明和高阶逻辑
 
Proof Theory as an Alternative to Model Theory
http://www-lp.doc.ic.ac.uk/UserPages/staff/ft/alp/comment/proof.html
FTP'2000
http://www.uni-koblenz.de/ftp00/
Mathematical Reasoning Group
http://dream.dai.ed.ac.uk/
Description of the HOL Theorem Proving System
http://lal.cs.byu.edu/lal/hol-desc.html
Isabelle
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
Software, Theorem Provers
http://www.tcs.informatik.uni-muenchen.de/~matthes/logikserver/software.html
Inductive Theorem Prover INKA 4.0
http://www.dfki.de/vse/systems/inka/
TABLEAUX
http://i12www.ira.uka.de/TABLEAUX/
 
 

 友情链接: ACM || CiteSeer || CMU SEI || Construx || Cutter || IEEE-CS || itmWEB
上海市信息委 || 上海市经委 || 上海市软件行业协会 || 上海构件库
TechTarget || 珞珈远望 || 浦华瑞信 || 北京SPIN || CCW聚焦华东 || 软件出口网 更多 
最近更新日 2005.06.28
建议使用IE5.0以上版本(800*600以上) 小字体 浏览
© 2000-2005 软件出口和信息技术传播中心 制作维护: ASTI Shanghai 沪ICP备05025271号
保留所有权益