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

Rules and Reasoning
EISBN：9783319999067
PISBN：9783319999050
出版社：Springer International Publishing
出版类型：Proceedings
出版时间：2018
版次：1st ed. 2018
作者：Christoph Benzmüller,Francesco Ricca,Xavier Parent,Dumitru Roman
主题词：Computer Science,Programming Techniques,Programming Languages,Compilers,Interpreters,Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Computer Appl. in Administrative Data Processing
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Rules and Reasoning
  • 作者：Sabrina Kirrane,Mantas Šimkus,Ahmet Soylu,Dumitru Roman
  • EISBN：9783031724077
  • 出版社：Springer Nature
  • 出版时间：2024
...

Rules and Reasoning
  • 作者：Anna Fensel,Ana Ozaki,Dumitru Roman,Ahmet Soylu
  • EISBN：9783031450723
  • 出版社：Springer Nature
  • 出版时间：2023
...

Rules and Reasoning
  • 作者：Stefania Costantini,Enrico Franconi,William Van Woensel,Roman Kontchakov,Fariba Sadri,Dumitru Roman
  • EISBN：9783319612522
  • 出版社：Springer International Publishing
  • 出版时间：2017
...

Rules and Reasoning
  • 作者：Víctor Gutiérrez-Basulto,Tomáš Kliegr,Ahmet Soylu,Martin Giese,Dumitru Roman
  • EISBN：9783030579777
  • 出版社：Springer International Publishing
  • 出版时间：2020
...

Rules and Reasoning
  • 作者：Paul Fodor,Marco Montali,Diego Calvanese,Dumitru Roman
  • EISBN：9783030310950
  • 出版社：Springer International Publishing
  • 出版时间：2019
...

Reasoning with Rules and Precedents
  • 作者：L. Karl Branting
  • EISBN：9789401728485
  • 出版社：Springer Netherlands
  • 出版时间：2000