| |
Ernst Schering Research Foundation workshop, No. 61. (2007), pp. 117-137.
|
| |
ArXiv Quantum Physics e-prints (May 2002)
|
| |
Object and Component-Oriented Real-Time Distributed Computing, 2007. ISORC '07. 10th IEEE International Symposium on In ISORC '07: Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (21 May 2007), pp. 2-9.
|
| |
Journal for General Philosophy of Science, Vol. 22, No. 2. (1991), pp. 263-282.
|
| |
Algebraic Methodology and Software Technology (1995), pp. 368-384.
|
| |
Genetic Programming (1999), pp. 651-651.
|
| |
The Philosophical Review, Vol. 88, No. 3. (1979), pp. 327-365.
|
| |
|
| |
In CHI '89: Proceedings of the SIGCHI conference on Human factors in computing systems (1989), pp. 7-14.
|
| |
The Philosophical Quarterly, Vol. 51, No. 204. (2001), pp. 405-408.
|
| |
Applied Intelligence, Vol. 15, No. 3. (1 November 2001), pp. 181-197.
|
| |
ArXiv High Energy Physics - Theory e-prints (January 1999)
|
| |
|
| |
ArXiv e-prints, Vol. 706 (June 2007)
|
| |
ArXiv Nonlinear Sciences e-prints (October 2002)
|
| |
|
| |
Inf. Comput., Vol. 204, No. 10. (October 2006), pp. 1493-1525.
|
| |
Frontiers of Combining Systems (2005), pp. 31-47.
|
| |
|
| |
In CADE-17: Proceedings of the 17th International Conference on Automated Deduction (2000), pp. 115-131.
|
| |
|
| |
|
| |
|
| |
|
| |
Visual Cognition, Vol. 13, No. 1. (2006), pp. 99-108.
|
| |
ArXiv e-prints, Vol. 705 (May 2007)
|
| |
|
| |
Proceedings of the American Mathematical Society, Vol. 32, No. 2. (1972), pp. 358-362.
|
| |
Journal of Systems Integration, Vol. 2, No. 4. (24 October 1992), pp. 389-404.
|
| |
In Algebraic Methodology and Software Technology. Proceedings - 1996, Vol. 1101 (1996), pp. 421-443.
|
| |
Artif. Intell. Law, Vol. 11, No. 2-3. (2003), pp. 81-104.
|
| |
In Proc. of ICAIL 03, Edimburgh (2003)
|
CiteULike
Scis0000002's CiteULike
Search
Export
