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

Graph-Based Proof Procedures for Horn Clauses
EISBN：9781489935564
PISBN：9780817635305
出版社：Birkhäuser Boston
出版类型：Monograph
出版时间：1990
版次：1990
作者：RAATZ
主题词：Science,Humanities and Social Sciences,multidisciplinary,Science,Humanities and Social Sciences,multidisciplinary
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Progress in Computer Science and Applied Logic
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Graph-Based Proof Procedures for Horn Clauses
  • 作者：Stan Raatz
  • EISBN：9781489935564
  • 出版社：Birkhäuser Boston
  • 出版时间：1990
...

Graph-Based Representation and Reasoning
  • 作者：Nathalie Hernandez,Robert Jäschke,Madalina Croitoru
  • EISBN：9783319083896
  • 出版社：Springer International Publishing
  • 出版时间：2014
...

Graph-Based Representation and Reasoning
  • 作者：Manuel Ojeda-Aciego,Kai Sauerwald,Robert Jäschke
  • EISBN：9783031409608
  • 出版社：Springer Nature
  • 出版时间：2023
...

Graph-Based Representation and Reasoning
  • 作者：Tanya Braun;Diana Cristea;Robert Jäschke
  • EISBN：9783031166631
  • 出版社：Springer Nature
  • 出版时间：2022
...

Graph-Based Representation and Reasoning
  • 作者：Dominik Endres,Mehwish Alam,Diana Şotropa
  • EISBN：9783030231828
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Graph-based Knowledge Representation
  • 作者：Michel Chein,Marie-Laure Mugnier
  • EISBN：9781848002869
  • 出版社：Springer London
  • 出版时间：2009