2011年4月25日
 
用户名:
密码:
 
新闻快递 | 原创文档 | 咨询培训 | 专家顾问 | 个人专栏 | CSDP | 产业报告 | 上海SPIN | 读编往来
首页 | 企业信息化 | 技术新热点 | 成才乐园New! | 软件工程 | 信息安全 | IT教育 | 软件出口 | 网站论坛
技术新热点
物联网/产品电子代码 
语音挖掘和语音门户
笔计算/输入
论创新
创造性... 
语义Web
Web 智能
自适应Web
数据仓库及挖掘
P2P计算
互联空间
数字游戏开发
实时监控
数据同步
构件框架
中间件技术
多媒体技术
产品线工程
软件规模客户化
嵌入式应用与系统
嵌入式测试
实时操作系统
嵌入式数据库
可编程DSP
电子设计自动化
协同设计
安全性
数字版权管理
技术动态趋势
人工智能
开放源程序
在线分析/数据挖掘
电子商务工程
面向方面程序
再生式程序
计算机支持协同工作
工作流管理
生物信息学
分子计算
量子计算
高性能计算
并行计算
互联网技术
新技术信息资源
博客
RSS
无线局域网
无线固定宽带技术
无线应用
普及计算
柔软晶体管
文档聚类
文档工程 
 
 
人工智能编程
 
AI Programming Resources
http://www.cs.berkeley.edu/~russell/prog.html
PC AI - Logic Programming
http://www.pcai.com/pcai/New_Home_Page/ai_info/logic_programming.html
Computational Logic
http://archive.museophile.sbu.ac.uk/compulog/
Genetic-Programming.org
http://www.genetic-programming.org/
ILOG, Inc.
http://www.ilog.com/
University of Washington: Constraint-Based Systems
http://www.cs.washington.edu/research/constraints/
Declarative Systems & Software Engineering (DSSE) Group
http://www.dsse.ecs.soton.ac.uk/
Extreme Software
http://www.plogic.com/extreme.html
Topics in Information Processing 2CS24: Declarative Languages
http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/declarative.html
Constraint Logic Programming
http://www.ai.univie.ac.at/oefai/clp/
http://www.idiom.com/free-compilers/TOOL/CLP-1.html
http://citeseer.nj.nec.com/24834.html
http://www.cs.unh.edu/ccc/archive/
comp.lang.functional FAQ
http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html
Mondrian
http://www.mondrian-script.org/
John McCarthy
http://www-formal.stanford.edu/jmc/
Screamer Tool Repository
http://www.cis.upenn.edu/~screamer-tools/home.html
Lisp Resources
http://eksl-www.cs.umass.edu/lisp-resources/
http://psg.com/~dlamkins/sl/cover.html
Mercury Project
http://www.cs.mu.oz.au/research/mercury/
The Miranda Programming Language
http://www.engin.umd.umich.edu/CIS/course.des/cis400/miranda/miranda.html
Mozart Programming System
http://www.mozart-oz.org/
Oz Programming System
http://www.ps.uni-sb.de/oz2/
Logic Programming Associates
http://www.lpa.co.uk/
Cetus Links: Prolog
http://www.cetus-links.org/oo_prolog.html
The Scheme Programming Language
http://www.swiss.ai.mit.edu/projects/scheme/index.html
Schemers.org
http://www.schemers.org/
CMU Scheme Repository
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/scheme/0.html
 
 

 友情链接: 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号
保留所有权益