• 凯利

  • 577篇参考文献[SW0824]
  • 讨论。其他拟牛顿方法是草图. 第一章的最后一章,第二章…
  • 几何画板

  • 220篇参考文献[SW0858]
  • 课堂测试活动伴随着演示。草图详细的教师备注,提供建议…
  • PHCPACK

  • 198篇参考文献[SW0705]
  • 一个黑盒求解器的概要草图并给出了报告…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 声明性语义学W.R.T。我们也素描一个完整的结果减少语义…
  • 莱坦普

  • 36篇参考文献[ SW099 85 ]
  • 模态逻辑K的微积分草图这个完整性的证明…像LeTANAP一样优雅。之后,他草图如何获得类似的结果…
  • 易地窖

  • 27篇参考文献[SW0798]
  • 密码系统的安全性证明草图-简洁、形式化的本质表达…游戏和提示的顺序。证明草图自动检查使用现成的货架…
  • QBIC

  • 36篇参考文献[SW14899]
  • 颜色、形状和颜色的主要算法素描我们使用查询,显示示例查询…
  • 绝缘体

  • 28篇参考文献[SW045 8]
  • 形式约简算法素描与一个形式的基本矩阵的计算的联系…
  • OpenSST

  • 28篇参考文献[SW08426]
  • 定制算法的发展。我们素描求解器的体系结构和接口。我们讨论…
  • 结点图

  • 23篇参考文献[SW0491]
  • 几乎1000节和链接或草图手在三个维度。还有,结…
  • 三倍的

  • 21篇参考文献[SW02460]
  • 混合规则语言。本文草图三重句法和语义…
  • 卡米瓦伊

  • 12篇参考文献[SW01954]
  • KAMIWAAI——交互式3D素描基于Java的CL(4,1)$欧氏模型共形模型。本文介绍了一种新的交互式Java语言。素描软件KamiWaAi,最近在大学开发…
  • 素描2张照片

  • 12篇参考文献[SW14453]
  • 写意写实画素描用文本标签注释。构图…缝合几张照片素描和文本标签;这些被发现…
  • LPL软件

  • 17篇参考文献[SW0860]
  • 谓词逻辑和可访问逻辑素描哥德尔第一个不完全性定理…
  • 霍普拉

  • 14篇参考文献[SW02430]
  • 并发的线性域理论草图虽然在很大程度上它本身…
  • 奥美加

  • 14篇参考文献[SW07195]
  • MEGA:一种优化的矩阵元素发生器素描O'MeGa的建筑…
  • 太阳神

  • 11篇参考文献[SW01440]
  • 描述了它的理论基础和语义特征,草图其实现,并给出了一些实验结果。