Constraint-based reasoning via Grobner Bases

Publisher: Cambridge University Press

E-ISSN: 1469-1760|11|1|5-15

ISSN: 0890-0604

Source: AI EDAM, Vol.11, Iss.1, 1997-01, pp. : 5-15

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract