• Book cover of: Tableau, Tableauresolution und Tableaugraphresolution

Tableau, Tableauresolution und Tableaugraphresolution

Bookshop

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

Meillä on varastossa

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

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