941. Locke J. (1690) An Essay Concerning Human Understanding. William Tegg.

942. Locke W. N. and Booth A. D. (1955) Machine Translation of Languages: Fourteen Essays. MIT Press,Cambridge, Massachusetts.

943. Lodge D. (1984) Small World. Penguin Books, New York.

944. Lohn J. D., Kraus W. F., and Colombano S. P. (2001) Evolutionary optimization of yagi-udaantennas. In Proceedings of the Fourth International Conference on Evolvable Systems, p. 236-243.

945. Longuet-Higgins H. С (1981) A computer algorithm for reconstructing a scene from two projections.Nature, 293, p. 133-135.

946. Lovejoy W. S. (1991) A survey of algorithmic methods for partially observed Markov decisionprocesses. Annals of Operations Research, 28(1—4), p. 47-66.

947. Loveland D. (1968) Mechanical theorem proving by model elimination. Journal of the Association forComputing Machinery, 15(2), p. 236-251.

948. Loveland D. (1970) A linear format for resolution. In Proceedings of the IRIA Symposium on AutomaticDemonstration, p. 147-162, Berlin. Springer-Verlag.

949. Loveland D. (1984) Automated theorem-proving: A quarter-century review. ContemporaryMathematics, 29, p. 1-45.

950. Lowe D. G. (1987) Three-dimensional object recognition from single two-dimensional images.Artificial Intelligence, 31, p. 355-395.

951. Lowenheim L. (1915) Uber Moglichkeiten im Relativkalkul. Mathematische Annalen, 76, p. 447-470.

952. Lowerre В. Т. (1976) The HARPY Speech Recognition System. Ph.D. thesis, Computer ScienceDepartment, Carnegie-Mellon University, Pittsburgh, Pennsylvania.

953. Lowerre В. Т. and Reddy R. (1980) The harpy speech recognition system. In LeaW. A. (Ed.), Trendsin Speech Recognition, chap. 15. Prentice-Hall, Upper Saddle River, New Jersey.

954. Lowry M. R. and McCartney R. D. (1991) Automating Software Design. MIT Press, Cambridge,Massachusetts.

955. Loyd S. (1959) Mathematical Puzzles of Sam Loyd: Selected and Edited by Martin Gardner. Dover, New York.

956. Lozano-Perez T. (1983) Spatial planning: A configuration space approach. IEEE Transactions onComputers, C-32(2), p. 108-120.

957. Lozano-Perez Т., Mason М., and Taylor R. (1984) Automatic synthesis of fine-motion strategies forrobots. International Journal of Robotics Research, 3(1), p. 3—24.

958. Luby M., Sinclair A., and Zuckerman D. (1993) Optimal speedup of Las Vegas algorithms.Information Processing Letters, 47, p. 173-180.

959. Luby M. and Vigoda E. (1999) Fast convergence of the glauber dynamics for sampling independentsets. Random Structures and Algorithms, /5(3-4), p. 229—241.

960. Lucas J. R. (1961) Minds, machines, and Gbdel. Philosophy, 36.