This book is currently unavailable on Open Library, check out available alternatives.
An edition of Tableau, Tableauresolution, und Tableaugraphresolution (1991)

Tableau, Tableauresolution, und Tableaugraphresolution

ein neuer Weg zur automatischen Deduktion

by

Tableau, Tableauresolution, und Tableaugraphr...
Wanlin Li, Wanlin Li
Tableau, Tableauresolution, und Tableaugraphresolution by Wanlin Li, Wanlin Li
Nearby Libraries
Better World Books
Amazon
Bookshop.org
When you buy books using these links the Internet Archive may earn a small commission.

Only you can see this

Save Note
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 Tableau, Tableauresolution, und Tableaugraphresolution (1991)

Tableau, Tableauresolution, und Tableaugraphresolution

ein neuer Weg zur automatischen Deduktion

by

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

Publish Date
Publisher
P. Lang, Lang AG International Academic Publishers, Peter
Language
German
Pages
107

Subjects

Automatic theorem proving
Edition Availability
Cover of: Tableau, Tableauresolution, und Tableaugraphresolution
Tableau, Tableauresolution, und Tableaugraphresolution: ein neuer Weg zur automatischen Deduktion
1991, P. Lang, Lang AG International Academic Publishers, Peter
in German
  • Nearby Libraries

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 96-100).
Thesis (doctoral)--Universität Karlsruhe, 1991.

Published in
Frankfurt am Main, New York
Series
Europäische Hochschulschriften. Reihe XLI, Informatik,, Bd. 6 =, Publications universitaires européennes. Série XLI, Informatique ;, vol. 6 =, European university studies. Series XLI, Informatic ;, vol. 6, Europäische Hochschulschriften., Bd. 6.

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA76.9.A96 L5 1991

The Physical Object

Pagination
107 p. :
Number of pages
107

Edition Identifiers

Open Library
OL1325521M
ISBN 10
3631440014
LCCN
92203472
Goodreads
5035656

Work Identifiers

Work ID
OL3821628W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading carousel
Download catalog record: RDF / JSON