Symposium on Automatic Demonstration; edited by M. Laudet [and others]

By: Laudet. M and Lacombe. DContributor(s): Laudet, MMaterial type: TextTextSeries: Lecture notes in mathematics (Springer-Verlag) ; 125.Publication details: Berlin, New York, Springer-Verlag, 1970Description: 310 pSubject(s): Automatic theorem proving | Mathematics
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha