Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
logics
Papers
Smart Garbage Monitoring System
Akshita Goel
and
Amita Goel
EasyChair Preprint no. 2174
Automated Theorem Proving by Translation to Description Logic
Negin Arhami
and
Geoff Sutcliffe
EasyChair Preprint no. 126
Automated Theorem Proving by Translation to Description Logic
Negin Arhami
and
Geoff Sutcliffe
In
:
LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Copyright © 2012-2023 easychair.org. All rights reserved.