Image from Google Jackets

7th International conference on automated deduction, Nape, California, USA, May 14-16,1984

By: Material type: TextTextSeries: Lecture notes in computer science ; 00170Publication details: Berlin; Springer-Verlag
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified Status Date due Barcode
IMSc Library 681 LNCS (Browse shelf(Opens below)) Available 22812

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India