Advertisement

Collegium Logicum

  • Kurt-Gödel-Gesellschaft
Conference proceedings

Part of the Collegium Logicum book series (COLLLOGICUM, volume 1)

Table of contents

  1. Front Matter
    Pages i-vii
  2. Francisco A. Rodríguez-Consuegra
    Pages 8-25
  3. Reiner Hähnle
    Pages 67-86
  4. Matthias Baaz, Alexander Leitsch
    Pages 87-122

About these proceedings

Keywords

Vollständigkeit automated deduction logic programming

Authors and affiliations

  • Kurt-Gödel-Gesellschaft
    • 1
  1. 1.Institut für ComputersprachenTechnische Universität WienViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7091-9394-5
  • Copyright Information Springer-Verlag Vienna 1995
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-211-82646-1
  • Online ISBN 978-3-7091-9394-5
  • Series Print ISSN 0947-577X
  • Buy this book on publisher's site
Industry Sectors
Telecommunications
Oil, Gas & Geosciences