The Structure of Simple Sets in Z3

Author: Veselov S. I.   Chirkov A. Yu.  

Publisher: MAIK Nauka/Interperiodica

ISSN: 0005-1179

Source: Automation and Remote Control, Vol.65, Iss.3, 2004-03, pp. : 396-400

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

Related content