Suchfeld einblenden
Person Li, Wanlin
1 Treffer
Seite < 1 >
Li, Wanlin: Tableau, Tableauresolution und Tableaugraphresolution
: ein neuer Weg zur automatischen Deduktion / Wanlin Li. - Frankfurt am Main : Lang, 1991. - 107 S. : graph. Darst.; 21 cm - (Europäische Hochschulschriften : Reihe 41, Informatik; Bd. 6)
ISBN 978-3-631-44001-8 / 3-631-44001-4 kart. : sfr 35.00 (freier Pr.)
Quelle: DNB
Seite < 1 >
