Meta-Programming in Logic

人工智能

售   价:
442.00
作      者
出  版 社
出版时间
1992年12月11日
装      帧
平装
ISBN
9783540562825
复制
页      码
351
语      种
英语
综合评分
暂无评分
我 要 买
- +
库存 67 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
This volume contains lectures and papers delivered at Meta92, the Third International Workshop on Metaprogramming inLogic, held in Uppsala, Sweden, June 1992. The topicscovered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques forknowledgerepresentation and belief systems, and programtransformation and analysis in logic.Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logicp
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个