Logical engineering with instance-based methods
Date
2007
Authors
Baumgartner, Peter
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Automated Deduction - CADE 21: 21st International Conference on Automated Deduction Proceedings
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31