Rules and Reasoning

EISBN:9783319612522
PISBN:9783319612515
出版社:Springer International Publishing
出版类型:Proceedings
出版时间:2017
版次:1st ed. 2017
作者:Stefania Costantini,Enrico Franconi,William Van Woensel,Roman Kontchakov,Fariba Sadri,Dumitru Roman
主题词:Programming Techniques,Programming Languages,Compilers,Interpreters,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Software Engineering,Computer Applications
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

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

  • 作者:Christoph Benzmüller,Francesco Ricca,Xavier Parent,Dumitru Roman
  • EISBN:9783319999067
  • 出版社:Springer International Publishing
  • 出版时间:2018

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