Meta-Logics and Logic Programming
Meta-Logics and Logic Programming
2003
Franco Turini
,
Krzysztof Apt
4.7
(3)
on Goodreads
Details
First published
2003
OL Work ID
OL21712040W
Subjects
Logic programming
Logic, symbolic and mathematical
Find this book
Goodreads
Open Library