| |
Proceedings of the National Academy of Sciences, Vol. 106, No. 24. (16 June 2009), pp. 9570-9575.
|
| |
The Journal of Symbolic Logic, Vol. 19, No. 2. (1954), pp. 81-96.
|
| |
The Journal of Symbolic Logic, Vol. 2, No. 1. (1937), pp. 65-77.
|
| |
Commun. ACM, Vol. 19, No. 5. (1976), pp. 279-285.
|
| |
Foundations of Computer Science, 1977., 18th Annual Symposium on, Vol. 0 (18 July 2008), pp. 46-57.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 1. (1993), pp. 73-132.
|
| |
SRC Research Report, Vol. 47 (April 1990)
|
| |
In COMPOS'97: Revised Lectures from the International Symposium on Compositionality: The Significant Difference (1998), pp. 402-423.
|
| |
Theoretical Computer Science, Vol. 206, No. 1-2. (06 October 1998), pp. 341-352.
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 105 (December 2004), pp. 147-158.
|
| |
Information Processing, Vol. 83 (1983), pp. 657-668.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 21, No. 3. (1999), pp. 502-526.
|
| |
The Bulletin of Symbolic Logic, Vol. 2, No. 1. (1996), pp. 1-71.
|
| |
Computer Standards & Interfaces, Vol. 23, No. 4. (September 2001), 355.
|
| |
The Journal of Symbolic Logic, Vol. 66, No. 3. (2001), pp. 1321-1341.
|
| |
Proceedings of the National Academy of Sciences of the United States of America, Vol. 24, No. 12. (December 1938), pp. 556-557.
|
| |
Proceedings of the National Academy of Sciences of the United States of America, Vol. 25, No. 4. (April 1939), pp. 220-224.
|
| |
|
| |
Information Processing Letters, Vol. 21, No. 4. (October 1985), pp. 181-185.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (1994), pp. 872-923.
|
| |
Proceedings of the National Academy of Sciences of the United States of America, Vol. 102, No. 46. (15 November 2005), pp. 16569-16572.
|
| |
series of eight lectures dedicated to the memory of John Stuart Mill, A New Name for Some Old Ways of Thinking (December 1907)
|
| |
The Journal of Philosophy, Psychology and Scientific Methods, Vol. 1, No. 20. (1904), pp. 533-543.
|
| |
|
| |
Computers and Informatics, Vol. 22 (2001)
|
| |
Software and Systems Modeling
|
| |
The Journal of Philosophy, Psychology and Scientific Methods, Vol. 1, No. 18. (1904), pp. 477-491.
|
| |
Mind, Vol. 9, No. 34. (1884), pp. 188-205.
|
| |
Commun. ACM, Vol. 52, No. 10. (2009), pp. 30-32.
|
| |
|
| |
The Journal of Symbolic Logic, Vol. 53, No. 2. (1988), pp. 338-348.
|
| |
Commun. ACM, Vol. 52, No. 9. (2009), pp. 78-86.
|
| |
Journal of Universal Computer Science, Vol. 7, No. 2. (2001), pp. 159-174.
|
| |
Software: Practice and Experience, Vol. 9999, No. 9999. (2009), n/a.
|
| |
|
| |
Revista Brasileira de Ortopedia, Vol. 34 (1999), pp. 579-594.
|
| |
BioTechniques, Vol. 30, No. 3. (March 2001)
by W. A. Silva, M. C. Costa, V. Valente, et al.J. F. Sousa, M. L. Paçó-Larson, E. M. Espreafico, S. S. Camargo, E. Monteiro, A. J. Holanda, M. A. Zago, A. J. Simpson, E. Dias Neto
|
| |
Vol. 71, No. 1. (1 July 2002), pp. 187-192.
by Wilson A. Silva, Sandro L. Bonatto, Adriano J. Holanda, et al.Andrea K. Ribeiro-Dos-Santos, Beatriz M. Paixão, Gustavo H. Goldman, Kiyoko Abe-Sandes, Luis Rodriguez-Delfin, Marcela Barbosa, Maria L. Paçó-Larson, Maria L. Petzl-Erler, Valeria Valente, Sidney E. B. Santos, Marco A. Zago
|
| |
Proceedings of the National Academy of Sciences of the United States of America, Vol. 100, No. 23. (11 November 2003), pp. 13418-13423.
by Helena Brentani, Otávia L. Caballero, Anamaria A. Camargo, et al.Aline M. da Silva, Wilson A. da Silva, Emmanuel D. Neto, Marco Grivet, Arthur Gruber, Pedro E. Guimaraes, Winston Hide, Christian Iseli, C. Victor Jongeneel, Janet Kelso, Maria A. Nagai, Elida P. Ojopi, Elisson C. Osorio, Eduardo M. R. Reis, Gregory J. Riggins, Andrew J. Simpson, Sandro de Souza, Brian J. Stevenson, Robert L. Strausberg, Eloiza H. Tajara, Sergio Verjovski-Almeida
|
| |
New Journal of Physics, Vol. 10, No. 7. (July 2008), 073020.
|
| |
Physica A: Statistical Mechanics and its Applications In Proceedings of the International Workshop on 'Trends and perspectives in extensive and non-extensive statistical mechanics', in honor of the 60th birthday of Constantino Tsallis, Vol. 344, No. 3-4. (15 December 2004), pp. 530-536.
|
| |
PLoS computational biology, Vol. 4, No. 1. (1 January 2008), e20.
|
| |
Commun. ACM, Vol. 9, No. 1. (January 1966), pp. 13-25.
|
| |
Commun. ACM, Vol. 16, No. 8. (1973), pp. 503-512.
|
| |
ACM Comput. Surv., Vol. 6, No. 2. (June 1974), pp. 99-124.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 3, No. 1. (1981), pp. 60-82.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 7, No. 1. (1985), pp. 159-175.
|
| |
Commun. ACM, Vol. 18, No. 8. (1975), pp. 441-452.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 4, No. 4. (October 1982), pp. 615-649.
|
| |
Commun. ACM, Vol. 14, No. 7. (1971), pp. 453-460.
|
Search
