Skip to main content

TS

Logical engineering with instance-based methods

Authors

Peter Baumgartner

NICTA

Abstract

BibTeX Entry

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

Download

Served by Apache on Linux on seL4.