From modal logic to deductive databases
From modal logic to deductive databases
Paul Gochet
,
André Thayse
Details
OL Work ID
OL18829771W
Subjects
Logic programming
Artificial intelligence
Data processing
Logic
Find this book
Open Library