• Book cover of: Tableau, Tableauresolution und Tableaugraphresolution

Tableau, Tableauresolution und Tableaugraphresolution

Bookshop

221,00 zł
221,00 zł 278,00 zł Sprzedaż

Mamy to na stanie

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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...

221,00 zł
221,00 zł 278,00 zł