Rules and Reasoning

EISBN：9783030310950

PISBN：9783030310943

出版社：Springer International Publishing

出版类型：Proceedings

出版时间：2019

版次：1st ed. 2019

作者：Paul Fodor,Marco Montali,Diego Calvanese,Dumitru Roman

主题词：Computer Science,Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Computer Appl. in Administrative Data Processing,Software Engineering/Programming and Operating Systems

语种：英语

所属数据库：SpringerLink电子图书

丛书题名：Lecture Notes in Computer Science

1浏览量

问图书管理员

馆际互借

查看订购单位

原文链接

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

作者：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

Reasoning with Rules and Precedents

作者：L. Karl Branting
EISBN：9789401728485
出版社：Springer Netherlands
出版时间：2000