登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

A Many-Sorted Calculus Based on Resolution and Paramodulation
PISBN：9780273087182
出版时间：Legacy
作者：Walther,Christoph
主题词：Computer Science
语种：英语
所属数据库：Elsevier电子图书
丛书题名：Research Notes in Artificial Intelligence
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Many-Sorted Algebras for Deep Learning and Quantum Technology
  • 作者：Charles R Giardina
  • PISBN：9780443136979
  • 出版社：Morgan Kaufmann
  • 出版时间：2024
...

The Resolution Calculus
  • 作者：Alexander Leitsch
  • EISBN：9783642606052
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997
...

The Resolution Calculus
  • 作者：Alexander Leitsch
  • EISBN：9783642606052
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997
...

R-Calculus, II: Many-Valued Logics
  • 作者：Wei Li;Yuefei Sui
  • EISBN：9789811692949
  • 出版社：Springer Nature
  • 出版时间：2022
...

Example-Based Super Resolution
  • 作者：Salvador,Jordi
  • PISBN：9780128097038
  • 出版时间：2016
...

FLATLAND A ROMANCE OF MANY DIMENSIONS
  • 作者：EDWIN A. ABBOTT
  • PISBN：486200019
  • 出版社：DOVER PUBLICATIONS,INC.
  • 出版时间：1952年