Changes

MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to search
update
Line 1,567: Line 1,567:  
* Mili, A., ''An Introduction to Formal Program Verification'', Van Nostrand Reinhold, New York, NY, 1985.
 
* Mili, A., ''An Introduction to Formal Program Verification'', Van Nostrand Reinhold, New York, NY, 1985.
   −
* Morrison, P., and Morrison, E. (eds.), ''Charles Babbage on the Principles and Development of the Calculator, and Other Seminal Writings by Charles Babbage and Others'', with an introduction by the editors, Dover Publications, Mineola, NY, 1961.
+
* Milnor, J.W., ''Topology from the Differentiable Viewpoint'', based on notes by D.W. Weaver, University Press of Virginia, Charlottesville, VA, 1965, 1988.
 +
 
 +
* Minker, J. (ed.), ''Foundations of Deductive Databases and Logic Programming'', Morgan Kaufmann, Los Altos, CA, 1988.
 +
 
 +
* Minsky, M., ''The Society of Mind'', Simon and Schuster, New York, 1986.
 +
 
 +
* Minsky, M., and Papert, S., ''Perceptrons : An Introduction to Computational Geometry'', 1st edition 1969, 2nd printing 1972.  Expanded edition, MIT Press, Cambridge, MA, 1988.
 +
 
 +
* Misak, C.J., ''Truth and the End of Inquiry : A Peircean Account of Truth'', Oxford University Press, Oxford, UK, 1991.
 +
 
 +
* Morrison, P., and Morrison, E. (eds.), ''Charles Babbage on the Principles and Development of the Calculator, and Other Seminal Writings by Charles Babbage and Others'', with an Introduction by the editors, Dover Publications, Mineola, NY, 1961.
 +
 
 +
* Mulmuley, K., ''Full Abstraction and Semantic Equivalence'', MIT Press, Cambridge, MA, 1987.
 +
 
 +
* Munkres, J.R., ''Topology : A First Course'', Prentice-Hall, Englewood Cliffs, NJ, 1975.
 +
 
 +
* Murphey, M.G., ''The Development of Peirce's Philosophy'', Harvard University Press, Cambridge, MA, 1961.
    
<center><font size="3">'''– N –'''</font></center>
 
<center><font size="3">'''– N –'''</font></center>
Line 1,573: Line 1,589:  
* Newell, A., ''Unified Theories of Cognition'', Harvard University Press, Cambridge, MA, 1990.
 
* Newell, A., ''Unified Theories of Cognition'', Harvard University Press, Cambridge, MA, 1990.
   −
* Nicolis, G., and Prigogine, I., ''Exploring Complexity&nbsp;: An Introduction'', W.H. Freeman, New York, NY, 1989.
+
* Nicolis, G., and Prigogine, I., ''Exploring Complexity : An Introduction'', W.H. Freeman, New&nbsp;York, NY, 1989.
   −
* Nijenhuis, A., and Wilf, H.S., ''Combinatorial Algorithms&nbsp;: For Computers and Calculators'', 2nd edition, Academic Press, New York, NY, 1978.
+
* Nijenhuis, A., and Wilf, H.S., ''Combinatorial Algorithms : For Computers and Calculators'', 2nd edition, Academic Press, New&nbsp;York, NY, 1978.
   −
* Nilsson, N.J., ''Principles of Artificial Intelligence'', Tioga Publishing, Palo Alto, CA, 1980.
+
* Nilsson, N.J., ''Principles of Artificial Intelligence'', Tioga Publishing, Palo&nbsp;Alto, CA, 1980.
    
<center><font size="3">'''– O –'''</font></center>
 
<center><font size="3">'''– O –'''</font></center>
   −
* O'Rorke, P., "Review of AAAI 1990 Spring Symposium on Automated Abduction", ''SIGART Bulletin'', Vol. 1, No. 3, ACM Press, October 1990, pages 12–17.
+
* Ogden, C.K., and Richards, I.A., ''The Meaning of Meaning : A Study of the Influence of Language upon Thought and of the Science of Symbolism'', with Supplementary Essays by B. Malinowski and F.G. Crookshank, Introduction by U. Eco, Harcourt Brace Jovanovich, San&nbsp;Diego, CA, 1989.  1st published 1923.
 +
 
 +
* O'Rorke, P., &ldquo;Review of ''AAAI 1990 Spring Symposium on Automated Abduction''&rdquo;, ''SIGART Bulletin'', Vol.&nbsp;1, No.&nbsp;3, ACM Press, October 1990, pp. 12&ndash;17.
 +
 
 +
* Osborne, R., ''Philosophy for Beginners'', illustrated by R. Edney, Writers and Readers Publishing, New&nbsp;York, NY, 1991.
 +
 
 +
* O'Shea, T., and Eisenstadt, M. (eds.), ''Artificial Intelligence : Tools, Techniques, and Applications'', Harper and Row, New&nbsp;York, NY, 1984.
    
<center><font size="3">'''– P –'''</font></center>
 
<center><font size="3">'''– P –'''</font></center>
   −
* Pearl, J., ''Probabilistic Reasoning in Intelligent Systems&nbsp;: Networks of Plausible Inference'', revised 2nd printing, Morgan Kaufmann, San Mateo, CA, 1991.
+
* Palmer, E.M., ''Graphical Evolution : An Introduction to the Theory of Random Graphs'', John Wiley and Sons, New&nbsp;York, NY, 1985.
 +
 
 +
* Pearl, J., ''Probabilistic Reasoning in Intelligent Systems : Networks of Plausible Inference'', revised 2nd printing, Morgan Kaufmann, San&nbsp;Mateo, CA, 1991.
 +
 
 +
* Peirce, C.S. (ed.), ''Studies in Logic : By Members of the Johns Hopkins University'', John Benjamins Publishing, Amsterdam, 1983.  Originally published by Little, Brown, and Company, Boston, MA, 1883.
 +
 
 +
* Peirce, C.S., ''Essays in the Philosophy of Science'', edited with an Introduction by V. Tomas, American Heritage Series, No.&nbsp;17, Liberal Arts Press and Bobbs-Merrill, Indianapolis, IN, 1957.
   −
* Peirce, C.S., ''Collected Papers of Charles Sanders Peirce'', 8 vols., C. Hartshorne, P. Weiss, and A.W. Burks (eds.), Harvard University Press, Cambridge, MA, 1931–1960.
+
* Peirce, C.S., ''Collected Papers of Charles Sanders Peirce'', 8 vols., C. Hartshorne, P. Weiss, and A.W. Burks (eds.), Harvard University Press, Cambridge, MA, 1931&ndash;1960.
    
* Peng, Y., and Reggia, J.A., ''Abductive Inference Models for Diagnostic Problem-Solving'', Springer-Verlag, New York, NY, 1990.
 
* Peng, Y., and Reggia, J.A., ''Abductive Inference Models for Diagnostic Problem-Solving'', Springer-Verlag, New York, NY, 1990.
12,080

edits

Navigation menu