Normal view MARC view

Loveland, Donald W. (Personal Name)

Preferred form: Loveland, Donald W.

His Automated theorem proving, 1977.

Conf. on Automated Deduction (6th : 1982 : New York, N.Y.). 6th Conf. on ... 1982: CIP t.p. (D. Loveland) data sheet (b. 12/26/34)

Automated theorem proving, 1984: CIP t.p. (D.W. Loveland)

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha