Logical engineering with instance-based methods
Authors
NICTA
Abstract
BibTeX Entry
@misc{Baumgartner_07, isbn = {3-540-73594-1}, publisher = {Springer}, booktitle = {Proceedings of the 21st International Conference on Automated Deduction}, month = jul, paperurl = {https://ts.data61.csiro.au/publications/nicta_full_text/656.pdf}, series = {Lecture Notes in Artificial Intelligence}, year = {2007}, editor = {{Frank Pfenning}}, volume = {4603}, title = {Logical Engineering with Instance-Based Methods}, keywords = {logic, theorem proving, instance-based methods}, pages = {404--409}, author = {Baumgartner, Peter}, address = {Bremen, Germany} }