Information and Computation,volume 164,issue 2  (01-2004)

Period of time: 2004年2期

Publisher: Academic Press

Founded in: 1957

Total resources: 79

ISSN: 0890-5401

Subject: O Mathematical Sciences and Chemical

Favorite

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

Information and Computation,volume 164,issue 2

Menu

Module Checking

By Kupferman O.,Vardi M.Y.,Wolper P. in (2001)

Information and Computation,volume 164,issue 2 , Vol. 164, Iss. 2, 2001-01 , pp. 322-344

Academic Press

Abstract Access to resources Recommend Favorite