• Book cover of: Tableau, Tableauresolution und Tableaugraphresolution

Tableau, Tableauresolution und Tableaugraphresolution

Bookshop

€50,45
€50,45 €63,57 Sale
Tax included. Shipping calculated at checkout.

In stock
Autorius Bookshop
Leidimo metai 1991 m.
Viršelis Minkštas viršelis
ISBN 9783631440018

Tableau, Tableauresolution und Tableaugraphresolution

Tableau, Tableauresolution und Tableaugraphresolution by Wanlin Li.

Published by P. Lang, (1991), Paperback, 107 pages.

Topics: Automatic theorem proving.

Book cover of: Tableau, Tableauresolution und Tableaugraphresolution

Tableau, Tableauresolution und Tablea...

€50,45
€50,45 €63,57