Skip to main content
CSIRO Logo Data 61 logo

Logical engineering with instance-based methods

Authors

Peter Baumgartner

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}
  }

Download