The Resource A many-sorted calculus based on resolution and paramodulation, Christoph Walther

A many-sorted calculus based on resolution and paramodulation, Christoph Walther

Label
A many-sorted calculus based on resolution and paramodulation
Title
A many-sorted calculus based on resolution and paramodulation
Statement of responsibility
Christoph Walther
Creator
Subject
Genre
Language
  • eng
  • ger
  • eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorName
Walther, Christoph
Dewey number
511.3/0285
Illustrations
illustrations
Index
no index present
LC call number
QA76.9.A96
LC item number
W35 1987
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
Research notes in artificial intelligence,
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Artificial intelligence
  • Intelligence artificielle
  • Théorèmes
  • Théorèmes
  • Intelligence artificielle
  • Artificial intelligence
  • Automatic theorem proving
  • Kunstmatige intelligentie
  • Redeneren
  • Bewijs (wetenschap)
  • Automatisches Beweisverfahren
  • Künstliche Intelligenz
  • Mehrsortige Prädikatenlogik
  • Mehrsortige Prädikatenlogik
Label
A many-sorted calculus based on resolution and paramodulation, Christoph Walther
Link
Instantiates
Publication
Note
Revised translation of thesis (doctoral)--University of Karlsruhe, 1984
Bibliography note
Includes bibliographical references (pages 154-160)
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Extent
1 online resource (160 pages
Form of item
online
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations)
Specific material designation
remote
System control number
(OCoLC)1036606118
Label
A many-sorted calculus based on resolution and paramodulation, Christoph Walther
Link
Publication
Note
Revised translation of thesis (doctoral)--University of Karlsruhe, 1984
Bibliography note
Includes bibliographical references (pages 154-160)
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Extent
1 online resource (160 pages
Form of item
online
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations)
Specific material designation
remote
System control number
(OCoLC)1036606118

Library Locations

  • Internet ArchiveBorrow it
    300 Funston Ave, San Francisco, CA, 94118, US
    37.7823215 -122.4716373

Library Links

Processing Feedback ...