Advertisement

Table of contents

About this book

Keywords

Automatisches Schließen Extension Logik mit Gleichheit Logik mit eingebauten Sorten Resolution Unifikation Wissensrepräsentation logic

Bibliographic information

  • Book Title Computational Aspects of an Order-Sorted Logic with Term Declarations
  • Authors Manfred Schmidt-Schauß
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/BFb0024065
  • Copyright Information Springer-Verlag Berlin Heidelberg 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-51705-4
  • eBook ISBN 978-3-540-46774-8
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages X, 174
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Mathematical Logic and Formal Languages
  • Buy this book on publisher's site
Industry Sectors
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Pharma
Materials & Steel
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering