Automated Deduction In Equational Logic And Cubic Curves / W. McCune, R. Padmanabhan

By: Contributor(s): Material type: TextTextPublication details: Berlin: Springer, 1996Description: 231 pSubject(s): DDC classification:
  • 511.3
  • 511.36028563
  • 516.35
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
Item type Current library Call number Status Date due Barcode
Carti IMAR CSR-511.3-MCC (Browse shelf(Opens below)) Available 37925

There are no comments on this title.

to post a comment.

Powered by Koha