First Order Predicate Calculus and Logic Programming

Book
Publication Date:
2016
abstract:
This book introduces the reader to the first order predicate calculus and the basic notions of logic programming.
Iris type:
03.01 Monografia o trattato scientifico
Keywords:
Predicate Calculus; Logic Programming
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/331126