Author: Urban Josef
Publisher: Springer Publishing Company
ISSN: 0168-7433
Source: Journal of Automated Reasoning, Vol.33, Iss.3-4, 2004-10, pp. : 319-339
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
MPTP 0.2: Design, Implementation, and Initial Experiments
By Urban Josef
Journal of Automated Reasoning, Vol. 37, Iss. 1-2, 2006-08 ,pp. :
By Hellwich Olaf Hu Tianjiang Zhou Dianle Niu Yifeng Shen Lincheng
Industrial Robot: An International Journal, Vol. 42, Iss. 4, 2015-06 ,pp. :
By Karsten-Berier Nicole Karsten Martin Schmitt Jens Steinmetz Ralf
Multimedia Tools and Applications, Vol. 22, Iss. 2, 2004-02 ,pp. :