An edition of A many-sorted calculus based on resolution and paramodulation (1987)

Many-Sorted Calculus Based on Resolution and Paramodulation

by

Many-Sorted Calculus Based on Resolution and ...
Christoph Walther, Christoph W ...
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
November 18, 2022 | History
Edit
An edition of A many-sorted calculus based on resolution and paramodulation (1987)

Many-Sorted Calculus Based on Resolution and Paramodulation

by

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Elsevier Science & Technology Books
Language
English

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Artificial intelligence, Automatic theorem proving, The ore mes, Redeneren, Bewijs (wetenschap), Kunstmatige intelligentie, Automatisches Beweisverfahren, Mehrsortige Pra dikatenlogik, Ku nstliche Intelligenz, De monstration automatique, Intelligence artificielle
Edition Availability
Cover of: Many-Sorted Calculus Based on Resolution and Paramodulation
Many-Sorted Calculus Based on Resolution and Paramodulation
2014, Elsevier Science & Technology Books
in English
Cover of: A many-sorted calculus based on resolution and paramodulation
A many-sorted calculus based on resolution and paramodulation
1987, Pitman, Morgan Kaufmann Publishers
in English and German

Add another edition?

Book Details

Classifications

Library of Congress
QA76.9.A96.W35 1987

The Physical Object

Pagination
170

Edition Identifiers

Open Library
OL40435783M
ISBN 13
9781483258935

Work Identifiers

Work ID
OL4957646W

Source records

Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
November 18, 2022 Created by ImportBot Imported from Better World Books record