2
Automated deduction in equational logic and cubic curves

Cover is for reference only
Main Authors: McCune W. (William)
Group Author: (Ranganathan), 1938-; Padmanabhan R.
Published: Springer,
Publication Dates: c1996.
Call Number: O187.1/M133/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —