Suchfeld einblenden
Person Plaisted, David A.
2 Treffer
Seite < 1 >
Plaisted, David A.: The efficiency of theorem proving strategies
: a comparative and asymptotic analysis / David A. Plaisted ; Yunshan Zhu. - Braunschweig : Vieweg, 1997. - VI, 167 S. : Ill.; 21 cm - (Computational intelligence)
ISBN 978-3-528-05574-5 / 3-528-05574-X kart. : DM 98.00
Literaturverz. S. 155 - 160
Quelle: DNB
Plaisted, David A.: The efficiency of theorem proving strategies
: a comparative and asymptotic analysis / David A. Plaisted ; Yunshan Zhu. - 2., rev. ed. - Braunschweig : Vieweg, 1999. - VIII, 170 S. : graph. Darst.; 21 cm - (Computational intelligence)
ISBN 978-3-528-15574-2 / 3-528-15574-4 kart. : DM 58.00
Literaturverz. S. 157 - 163
Quelle: DNB
Seite < 1 >
