This book is currently unavailable on Open Library, check out available alternatives.
An edition of Analogieschlüsse beim automatischen Beweisen (1992)

Analogieschlüsse beim automatischen Beweisen

by

Cover of: Analogieschlüsse beim automatischen Beweisen by Oscar Slotosch, Oscar Slotosch
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by Open Library Bot
December 4, 2010 | History
Edit
An edition of Analogieschlüsse beim automatischen Beweisen (1992)

Analogieschlüsse beim automatischen Beweisen

by

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

Publish Date
Publisher
Kovač
Language
German
Pages
115

Check nearby libraries

Buy this book

Subjects

Automatic theorem proving
Edition Availability
Cover of: Analogieschlüsse beim automatischen Beweisen
Analogieschlüsse beim automatischen Beweisen
1992, Kovač
in German

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 110-115).

Published in
Hamburg

Classifications

Library of Congress
QA76.9.A96 S57 1992

The Physical Object

Pagination
115 p. :
Number of pages
115

Edition Identifiers

Open Library
OL1529220M
ISBN 10
3860640062
LCCN
93220910

Work Identifiers

Work ID
OL4075747W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON