Frank Malloy Brown (brown-fm)

Contributions à Philosophie.ch

Bibliography

Brown, Frank Malloy. 1977. “Doing Arithmetic without Diagrams.” Artificial Intelligence 8(2): 175–200.
Brown, Frank Malloy. 1978. “Towards the Automation of Set Theory and its Logic.” Artificial Intelligence 10(3): 281–316.
Brown, Frank Malloy. 1980. “An Investigation into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning.” Artificial Intelligence 14(3): 221–242.
Brown, Frank Malloy. 1986. “An Experimental Logic Based on the Fundamental Deduction Principle.” Artificial Intelligence 30(2): 117–263.
Brown, Frank Malloy, ed. 1987. AAAI-87. Proceedings of the 1987 Workshop on the Frame Problem in Artificial Intelligence. San Francisco, California: Morgan Kaufmann Publishers.
Brown, Frank Malloy and Tårnlund, Sten-Åke. 1979. “Inductive Reasoning on Recursive Equations.” Artificial Intelligence 12(3): 207–229.