| |
|
| |
Nat Rev Genet, Vol. 10, No. 2. (February 2009), pp. 141-148.
|
| |
|
| |
In Learning in Graphical Models (1997)
|
| |
African Affairs, Vol. 98, No. 393. (1999), pp. 455-484.
|
| |
|
| |
The Manchester School, Vol. 56, No. 2. (1988), pp. 119-146.
|
| |
Science, Vol. 297, No. 5586. (30 August 2002), pp. 1551-1555.
|
| |
|
| |
The World Economy, Vol. 29, No. 8. (August 2006), pp. 1117-1131.
|
| |
Journal of International Management, Vol. 14, No. 3. (September 2008), pp. 209-216.
|
| |
|
| |
|
| |
|
| |
|
| |
Foundations of Intelligent Systems (2006), pp. 514-523.
|
| |
Logic Jnl IGPL, Vol. 4, No. 3. (1 June 1996), pp. 427-443.
|
| |
|
| |
|
| |
Social Studies of Science, Vol. 30, No. 1. (2000), pp. 73-94.
|
| |
Meta-Programming in Logic (1992), pp. 235-249.
|
| |
|
| |
|
| |
Recent Trends in Algebraic Development Techniques (2000), pp. 219-236.
|
| |
Applied Categorical Structures, Vol. 10, No. 4. (2002), pp. 383-402.
|
| |
|
| |
In ICALP '96: Proceedings of the 23rd International Colloquium on Automata, Languages and Programming (1996), pp. 158-169.
|
| |
ArXiv Mathematics e-prints (October 1994)
|
| |
Theor. Comput. Sci., Vol. 285, No. 2. (August 2002), pp. 359-405.
|
| |
In CADE-17: Proceedings of the 17th International Conference on Automated Deduction (2000), pp. 115-131.
|
| |
|
| |
|
| |
|
CiteULike
Scis0000002's CiteULike
Search
Export
