Lemma learning in the model evolution calculus
Date
Authors
Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Proceedings of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2006)
Type
Book Title
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description