Non-standard logics for automated reasoning

Bibliographic Details
Main Authors: Pospelov, Dimitrij (Author), Smets, P. (Author), Hamdani, E. H. (Author), Dubois, D. (Author), Prade, Henri M. (Author)
Format: Article
Language:Slovak
English
Subjects: