4 Future Extensions A research prototype of the TYPELAB system has been implemented and is currently being tested on small examples drawn from the domains ...
確定! 回上一頁