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