Symbolic Procedure Summary Using Region-based Symbolic Three-valued Logic
-
Published:2014-03-01
Issue:3
Volume:9
Page:
-
ISSN:1796-203X
-
Container-title:Journal of Computers
-
language:
-
Short-container-title:JCP
Author:
Dong Yukun,Jin Dahai,Gong Yunzhan
Publisher
International Academy Publishing (IAP)
Subject
General Computer Science