Period of time: 2004年1期
Publisher: Elsevier
Founded in: 1995
Total resources: 23
ISSN: 1571-0661
Subject: TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Electronic Notes in Theoretical Computer Science,volume 49,issue 1
Menu
Continuous Domains in Logical Form
Electronic Notes in Theoretical Computer Science,volume 49,issue 1 , Vol. 49, Iss. 1, 2004-01 , pp.