| |
Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471.
|
| |
|
| |
IEEE Transactions on Neural Networks, Vol. 6, No. 3. (May 1995), pp. 623-641.
|
| |
Annals of Pure and Applied Logic, Vol. 67, No. 1-3. (1994), pp. 113-160.
|
| |
|
| |
|
| |
Lecture Notes in Computer Science : Conceptual Structures: Common Semantics for Sharing Knowledge (2005), pp. 52-77.
|
| |
ArXiv Quantum Physics e-prints (March 2007)
|
| |
|
| |
|
| |
|
| |
|
| |
No. UU-CS-1999-07. (1999)
|
| |
|
| |
|
| |
Discrete Appl. Math., Vol. 144, No. 1-2. (2004), pp. 27-42.
|
| |
|
| |
|
| |
|
| |
|
| |
In Theorem Proving in Higher Order Logics (2000), pp. 462-479.
|
| |
ACM Transactions on Computer-Human Interaction, Vol. 6, No. 3. (1999), pp. 181-213.
|
| |
Adv. Math., Vol. 121 (1996), pp. 196-244.
|
| |
|
| |
The Visual Computer, Vol. 12, No. 2. (1996), pp. 62-74.
|
| |
|
| |
No. CRCC-TR-51-1991. (1991)
|
| |
Computer Graphics Forum, Vol. 15, No. 3. (1996), pp. 387-396.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
CiteULike
scis0000001's CiteULike
Search
Export
