The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
A many-sorted calculus based on resolution and paramodulation
Type
Text
Monograph
Contribution
Walther, Christoph (author)
Subject
Automatic theorem proving (LCSH)
Artificial intelligence (LCSH)
Language
English (eng)
German (ger)
Illustrative Content
illustrations
Classification
LCC: QA76.9.A96 W35 1987 (Assigner: dlc) (Status: used by assigner)
DDC: 511.3 full (Assigner: dlc)(Source: 19)
Supplementary Content
bibliography (bibliography)
Content
text (txt)
Table Of Contents
Authorized Access Point
Walther, Christoph. A many-sorted calculus based on resolution and paramodulation
Admin Metadata
Status: new
Date: 1987-04-07
Admin Metadata
Status: prepublication
Date: 1988-05-04T00:00:00
Description Modifier: United States, Library of Congress
Admin Metadata
Status: changed
Date: 2025-09-11T13:39:54.702939-04:00
Admin Metadata
Encoding Level: full
Description Conventions: Anglo-American cataloguing rules
Identified By: bf:Local, 1003872
Note: 040 $aDLC$cDLC$dDLC
Non-rendered Predicates: bflc:marcKey bflc:marcKey

Has Instance
London: Pitman
Series
Research notes in artificial intelligence
Research notes in artificial intelligence (London, England)