Rules and Reasoning
Rules and Reasoning by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman.
Published by Springer International Publishing AG, (2020), Paperback, 187 pages.
Topics: Semantics, Programming languages (electronic computers), Logic programming, Computer science.