Logical engineering with instance-based methods
Abstract
Description
Keywords
Citation
Collections
Source
Automated Deduction - CADE 21: 21st International Conference on Automated Deduction Proceedings
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31