Author: Stauner Thomas
Publisher: Springer Publishing Company
ISSN: 0925-9856
Source: Formal Methods in System Design, Vol.24, Iss.3, 2004-05, pp. : 223-259
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
Rasiowa-Sikorski deduction systems in computer science applications
Theoretical Computer Science, Vol. 286, Iss. 2, 2002-09 ,pp. :
From constructivism to computer science
Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. :
Advanced Robotics, Vol. 23, Iss. 11, 2009-08 ,pp. :