Normal view MARC view ISBD view

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

By:

Contributor(s):

Material type: Text

TextPublication details: Berlin: Springer, 1996Description: 231 pSubject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

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

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	Next
Previous	CSR-511.3-LEU Representations of Many-Valued Algebras	CSR-511.3-LYN Notes on logic,	CSR -511.3-MAC Aplicatii ale cercetarii operationale in probleme de conducere, organizare si planificare a lucrarilor de investitii, constructii si montaj	CSR-511.3-MCC Automated Deduction In Equational Logic And Cubic Curves /	CSR-511.3-MOI-1 Teoria algebrica a schemelor cu contacte si relee	CSR-511.3-MOI-4 Incercari vechi si noi de logica neclasica	CSR-511.3-MON Mathematical Logic	Next

There are no comments on this title.

to post a comment.