Skip to main content

Logical engineering with instance-based methods

Authors

Peter Baumgartner

NICTA

Abstract

BibTeX Entry

  @misc{Baumgartner_07,
    author           = {Baumgartner, Peter},
    editor           = {{Frank Pfenning}},
    month            = jul,
    series           = {Lecture Notes in Artificial Intelligence},
    year             = {2007},
    keywords         = {logic, theorem proving, instance-based methods},
    address          = {Bremen, Germany},
    title            = {Logical Engineering with Instance-Based Methods},
    pages            = {404--409},
    volume           = {4603},
    booktitle        = {Proceedings of the  21st International Conference on Automated Deduction},
    publisher        = {Springer},
    isbn             = {3-540-73594-1}
  }

Download

Served by Apache on Linux on seL4.