Читать «Мивары: 25 лет создания искусственного интеллекта» онлайн - страница 154

485. Goguen J.A., Thatchar J.W., Wagner E.G. An initial algebra approach to the specification, correctness and implementation of abstract data types. In Current Trends in Programming Methodology 4: Data Structuring, Prentice Hall, 1978, pp. 80 – 144.

486 .Gruber T., Cohen P. Проектирование интеллектуальных систем в расчете на автоматизированное усвоение знаний. / ВЦП – № РС-01539, 1990.

487. Grumbach S., Su J. Dense-order constraint databases. Proc. 14th ACM Symp. on Principles of Database Systems. 1995. – P. 66 – 77.

488. Hardgrave W.T. Technique for implementing a set processor. – ACM Signal Notices, 1976, № 2.

489. Hayes-Roth Fr. Экспертные системы с базой знаний / ВЦП, 1987.

490. Herrod R.A., Tietz L. Оперативные экспертные системы и их роль в развитии систем управления будущего / ВЦП – № Т-24741, 1990.

491. Kahn B.K. A method for Describing the Information Required by the Data Base Design Process, Proc. Int. ACM / SIGMOD Conf. Manag. Data, 1976, pp. 53 – 64.

492. Kalyaev A.V. Multimicroprocessor Systems. Information Processing 86. – Amsterdam. New York. Oxford. Tokyo. -1986, – pp. 949 – 954.

493. Kalyaev A.V. Multiprocessor Systems with Programmable Architecture. Fifth Generation Computer Architectures. – Amsterdam. New York. Oxford. Tokyo. -1986, – pp. 291 – 300.

494. Kalyaev A.V. Ultra-high Performance Multiprocessor Supersystems with Programmable Architecture. Aspects of computation on Asynchronous Parallel Processors. – Amsterdam. New York. Oxford. Tokyo. -1989, – pp. 111 – 123.

495. Kanellakis P.C., Kuper G.M., Revesz P.Z. Constraint query languages // Journal of Computer and System Sciences. 1995, V.51, № 1, pp. 26 – 52.

496. King N.H. Object DBMSs: Now or Never – Will ODBMSs capitalize on new opportunities to manage Web and complex datatypes? // DBMS and Internet Systems. 1997. Miller Freeman, Inc.

497. Linthicum D.S. Objects Meet Data. // DBMS online Magazine, № 9, 1996, Miller Freeman, Inc. 1996.

498. Linthicum D.S. Reevaluating Distributed Objects. // DBMS online Magazine. 1997. № 1. Miller Freeman, Inc.

499. Linux Journal's Linux Resources (http://www.ssc.com/linux).

500. Minsky M. A framework for representing knowledge. – In: The Psychology of Computer Vision. NY: McCraw-Hill, 1975.

501. Nesterov I.A., Suslov I.V., Towards programming of numerical problems within the system providing automatic parallelizing // Proceedings of 7th SIAM conference on parallel processing for scientific computing, p. 716, San-Francisco, CA, 1995.

502. Noakes M.D., Wallach D.A., Dally W.J. The J-Machine Multicomputer: An Architectural Evaluation. Proc. Of the IEEE, 1993.

503. Nosov A.V., Adamova L.E., Varlamov O.O., Overchuk M.L. About the prospects of active Mivar’s Internet-encyclopedia // Proceedings of the Congress on intelligent systems and information technologies "AIS-IT’10". Scientific publication in 4 volumes. – Moscow: Physmathlit, 2010, Vol. 4. – 128 p. ISBN 978-5-9221-1248-2. P. 118-119.