1601. Winograd T. (1972) Understanding natural language. Cognitive Psychology, 3(\), p. 1-191.

1602. Winston P. H. (1970) Learning structural descriptions from examples. Technical report MAC-TR-76, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts.

1603. Winston P. H. (1992) Artificial Intelligence (Third edition). Addison-Wesley, Reading, Massachusetts.

1604. Wirth R. and O'Rorke P. (1991) Constraints on predicate invention. In Machine Learning:Proceedings of the Eighth International Workshop (ML-91), p. 457-461, Evanston, Illinois. Morgan Kaufmann.

1605. Witten I. H. and Bell Т. С (1991) The zero-frequency problem: Estimating the probabilities of novel eventsin adaptive text compression. IEEE Transactions on Information Theory, 37(4), p. 1085-1094.

1606. Witten I. H., Moffat A., and Bell Т. С (1999) Managing Gigabytes: Compressing and IndexingDocuments and Images (second edition). Morgan Kaufmann, San Mateo, California.

1607. Wittgenstein L. (1922) Tractatus Logico-Philosophicus (second edition). Routledge and Kegan Paul,London. Перепечатано в 1971 году под редакцией Д.Ф. Пирса (D. F. Pears) и Б.Ф. Макгин-неса (В. F. McGuinness). На титульных листах этого английского перевода приведен оригинальный текст Витгенштейна на немецком языке; кроме того, включено предисловие Бертрана Рассела к изданию 1922 года.

1608. Wittgenstein L. (1953) Philosophical Investigations. Macmillan, London.

1609. Wojciechowski W. S. and Wojcik A. S. (1983) Automated design of multiple-valued logic circuits byautomated theorem proving techniques. IEEE Transactions on Computers, C-32(9), p. 785-798.

1610. Wojcik A. S. (1983) Formal design verification of digital systems. In ACM IEEE 20th DesignAutomation Conference Proceedings, p. 228-234, Miami Beach, Florida. IEEE.

1611. Wood M. K. and Dantzig G. B. (1949) Programming of interdependent activities, i. generaldiscussion. Econometrica, 17, p. 193-199.

1612. Woods W. A. (1973) Progress in natural language understanding: An application to lunar geology. InAFIPS Conference Proceedings, Vol. 42, p. p. 441-450.

1613. Woods W. A. (1975) What's in a link? Foundations for semantic networks. In Bobrow D. G. andCollins A. M. (Eds.) Representation and Understanding: Studies in Cognitive Science, p. 35-82. Academic Press, New York.

1614. Woods W. A. (1978) Semantics and quantification in natural language question answering. InAdvances in Computers. Academic Press.

1615. Wooldridge M. and Rao A. (Eds.) (1999) Foundations of rational agency. Kluwer, Dordrecht,Netherlands.

1616. Wos L., Carson D., and Robinson G. (1964) The unit preference strategy in theorem proving. InProceedings of the Fall Joint Computer Conference, p. 615—621.

1617. Wos L., Carson D., and Robinson G. (1965) Efficiency and completeness of the set-of-supportstrategy in theorem proving. Journal of the Association for Computing Machinery, 12, p. 536-541.

1618. Wos L., Overbeek R., Lusk E., and Boyle J. (1992) Automated Reasoning: Introduction andApplications (second edition). McGraw-Hill, New York.

1619. Wos L. and Robinson G. (1968) Paramodulation and set of support. In Proceedings of the IRIASymposium on Automatic Demonstration, p. 276-310. Springer-Verlag.

1620. Wos L., Robinson G., Carson D., and Shalla L. (1967) The concept of demodulation in theoremproving. Journal of the Association for Computing Machinery, 14, p. 698-704.