Logic on finite structures and logic programming

Bibliographic Details
Main Author: Rongemont, Michel de (Author)
Format: Article
Language:English
Subjects: