Сборник электронных книг. Восновном научные и научно-популярные издания
Вид материала | Справочник |
- перечень полнотекстовых электронных книг, 1208.31kb.
- Сибид. Электронные издания, 112.73kb.
- Российская государственная библиотека для слепых, 136.22kb.
- Сводный бюллетень, 2054.97kb.
- Сводный бюллетень, 1123.5kb.
- «книг», 322.86kb.
- Гост 83-2001 Межгосударственный стандарт сибид. Электронные издания Основные виды, 107.18kb.
- Электронную версию всех номеров «Вестника роии» можно найти на сайте роии, 1791.82kb.
- Характеристика современных пирамид, 150.49kb.
- Преподобного Макария Египетского научно-популярные лекции, 17.41kb.
4,1 Мб
Gacs P., Lovasz L. - Complexity of algorithms (lecture notes, 1999)(200dpi)(180s).djvu
1,1 Мб
Garey M.R., Johnson D.S. - Computer and intractability (1979)(ISBN 0716710447)(175s).djvu
3,2 Мб
Goldreich O. - Introduction to complexity theory, lecture notes (1999)(375s).rar
2,0 Мб
Grimshaw D. - CPS 720 Artificial Intelligence topics with agents (MIT, 2001)(1016s).rar
5,9 Мб
Gupta, Jin, Homma. - Static and dynamic neural networks (Wiley, 2003)(ISBN 0471219487)(751s).djvu
8,5 Мб
Gurari E. - Introduction to the theory of computation (1989)(600s).rar
3,9 Мб
Hand D., Mannila H., Smyth P. - Principles of data mining (MIT, 2001)(ISBN 026208290X)(322s).djvu
4,8 Мб
Haupt R.L., Haupt S.E. - Practical Genetic Algorithms (2ed., Wiley, 2004)(261s).rar
2,3 Мб
Haykin S. (ed.) - Kalman filtering and neural networks (Wiley, 2001)(ISBN 0471369985)(202s).djvu
1,7 Мб
Herbrich R. - Learning Kernel Classifiers.. Theory and Algorithms (MIT,2002)(371s).rar
2,5 Мб
Hopcroft, Motwani, Ullman. - Introduction to automata and algorithms (2ed. AW 2001)(537s).djvu
9,2 Мб
Hristev R.M. - The artificial neural network book (free)(392s).djvu
2,4 Мб
Hunter L. (ed.) - Artificial intelligence and molecular biology (1993)(ISBN 0262581159)(468s).rar
1,5 Мб
Jackson P., Moulinier I. - Natural language processing for online applications. (2002)(237s).rar
1,2 Мб
Jang J.-S.R., Sun C.-T., Mizutani E. - Neuro-fuzzy and soft computing (PH, 1997)(640s).djvu
7,3 Мб
Jang J.-S.R., Sun C.-T., Mizutani E. - Neuro-fuzzy and soft computing. (PH, 1997)(640s).djvu
5,7 Мб
Kambhampati D. (ed.) - Protein microarray technology (Wiley, 2004)(ISBN 3527305971)(268s).djvu
3,3 Мб
Kecman V. - Learning and Soft Computing (MIT Press,2001)(568s).djvu
7,3 Мб
Kohane, Kho, Butte. - Microarrays for an integrative genomics (MIT, 2003)(241s).djvu
5,0 Мб
Konar A. - Artificial intelligence and soft computing (CRC, 2000)(787s).djvu
4,3 Мб
Koza J.R. - Genetic programming (MIT, 1998)(ISBN 0262111705)(609s).djvu
10,5 Мб
Kreher D.L., Stinson D.R. - Combinatorial algorithms (CRC,1999)(340s).djvu
3,7 Мб
Kumar P. et al (eds.) - Quantum communication, computing, and measurement 2 (2000)(531s).djvu
6,8 Мб
Le C.T. - Introductory biostatistics (Wiley, 2003)(551s).djvu
2,6 Мб
Lederberg J., Hunter L. - Artificial Intelligence and Molecular Biology (MIT Press,1993)(468s).rar
1,5 Мб
Lengauer T. - Bioinformatics.. From Genomes to Drugs (Wiley-VCH,2002)(ISBN 3527299882)(640s)).rar
7,9 Мб
Leon, Markel. - Sequence analysis in a nutshell (OReilly, 2003).chm
522 Кб
Lesk A.M. - Introduction to bioinformatics (Oxford, 2002)(255s).rar
6,5 Мб
Lomonaco S.J. - A quick glance at quantum cryptography (archive_9811056)(54s).djvu
384 Кб
MacKay D.J.C. - Information Theory, Inference and Learning Algorithms (CUP, 2003)(640s).djvu
10,8 Мб
MacKay D.J.C. - Information Theory, Inference and Learning Algorithms (CUP, 2003)(640s).rar
10,9 Мб
Mandic D.P., Chambers J.A. - Recurrent neural networks for preduction (Wiley, 2001)(295s).djvu
5,7 Мб
McNeill F.M., Thro E. - Fuzzy logic.. a practical approach (AP, 1994)(309s).rar
5,4 Мб
Mehlhorn K. - Efficient data structures and algorithms, three volumes (Springer, 1984)(674s).djvu
4,5 Мб
Melo-Pinto P. et al (eds.) - Systematic organisation of information in fuzzy systems (2003).djvu
9,7 Мб
Melo-Pinto P. et al. - Systematic organisation of information in fuzzy systems (409s).djvu
8,5 Мб
Michalewicz Z. - Genetic Algorithms + Data Structures = Evolution Programs (1996)(388s).djvu
5,1 Мб
Michel A., Liu D. - Qualitative Analysis and Synthesis of Recurrent Neural Networks (2002).djvu
3,0 Мб
Michel A., Liu D. - Qualitative Analysis and Synthesis of Recurrent Neural Networks (504s).djvu
3,1 Мб
Michie D. et al (eds.) - Machine Learning, Neural and Statistical Classification (1994)(298s).djvu
1,9 Мб
Mitchell M. - Introduction to genetic algorithms (MIT, 1999)(ISBN 0262631857)(162s).djvu
2,0 Мб
Mitra S., Acharya T. - Data mining (Wiley, 2003)(422s).djvu
8,0 Мб
Mohammadian, Sarker, Yao. - Computational intelligence in control (2003)(348s).djvu
3,7 Мб
Morelos-Zaragoza R.H. - The art of error-correcting coding (Wiley, 2002)(233s).djvu
2,7 Мб
Mount D.W. - Bioinformatics.. sequence and genome analysis (2001)(577s).djvu
8,6 Мб
Neal R. - Probabilistic Inference Using Markov Chain Monte Carlo Methods (1993) (144s).djvu
1,1 Мб
Nemenman I.M. - Information theory and learning (Princeton PhD thesis, 2000)(140s).djvu
743 Кб
Nemenman I.M. - Information theory and learning. (Princeton PhD thesis, 2000)(140s).djvu
454 Кб
Newman S.C. - Biostatistical Methods in Epidemiology (Wiley,2001)(ISBN 0471369144)(388s)).rar
1,8 Мб
Nilsson N.J. - Introduction to machine learning (web draft, 1996)(208s).rar
912 Кб
Norman G.R., Streiner D. - Biostatistics (B.C. Decker,1998)(ISBN 1550090852)(270s)).djvu
6,2 Мб
Papadakos N.P. - Quantum information theory and applications to quantum cryptography (46s).djvu
352 Кб
Parhami B. - Introduction to parallel processing (Kluwer, 2002)(557s).rar
3,5 Мб
Percus J.K. - Mathematics of Genome Analysis (CUP,2004)(400dpi)(151s)).djvu
1,0 Мб
Preskill. - Quantum information (lecture notes)(315s).djvu
1,7 Мб
Rampal J.B. (ed.) - DNA Arrays.. methods and protocols (2001)(277s).djvu
8,0 Мб
Ruskey F. - Combinatorial generation (draft, 2003)(400dpi)(311s).djvu
2,1 Мб
Russell, Norvig. - Artificial intelligence - a modern approach (PH, 1995)(947s).djvu
11,8 Мб
Sag I.A., Wasow T. - Syntactic theory.. a formal introduction (1999)(483s).rar
2,0 Мб
Salomaa A. - Computation and automata (CUP 1985)(ISBN 0521302455)(290s).djvu
3,2 Мб
Sarker R.A. et al. - Heuristic and Optimization for Knowledge Discovery (Idea Group,2002)(301s).rar
2,1 Мб
Scheutz M. (ed.) - Computationalism (MIT, 2002)(223s).rar
636 Кб
Scheutz M. (ed.) - Computationalism.. New Directions (MIT,2002)(ISBN 0262194783)(217s).rar
599 Кб
Schoening U. - Algorithmen kurz gefasst (de)(105s).djvu
1,5 Мб
Schoening U. - Algorithmen kurz gefasst (de)(T)(105s).djvu
1,5 Мб
Schoening U. - Theoretische Informatik kurz gefasst (Inf IV)(low res)(de)(86s).djvu
1,7 Мб
Schoening U. - Theoretische Informatik kurz gefasst (Inf IV)(low res)(de)(T)(86s).djvu
1,6 Мб
Sedgewick. - Algorithms (AW, 1983)(560s).djvu
3,5 Мб
Shannon. - Mathematical theory of communication (1948)(29s).rar
142 Кб
Smola A.J., Schoelkopf B. - Tutorial on support vector regression (2003)(24s).rar
335 Кб
Spears W.M. - Evolutionary Algorithms (Springer,2000)(220s).djvu
2,1 Мб
Speed T. (ed.) - Statistical analysis of gene expression microarray data (CRC, 2003)(218s).djvu
3,2 Мб
Straubing H. - Finite automata, formal logic, and circuit complexity (Birkhauser, 1994)(237s).djvu
11,1 Мб
Svozil K. - Quantum logic.. a brief outline (quant-ph_9902042)(31s).djvu
172 Кб
Tanenbaum. - Introduction to distributed systems (588s).djvu
6,6 Мб
Tanimoto S.L. - Elements of artificial intelligence.. an introduction using LISP (1987)(553s).djvu
7,2 Мб
Tarakanov A.O. et al. - Immunocomputing. Principles and applications (Springer, 2003)(102s).djvu
2,0 Мб
van Belle. - Biostatistics.. A Methodology for the Health Sciences (Wiley,2004)(888s)).rar
7,4 Мб
Vapnik V. - Statistical Learning Theory (Wiley 1998)(400dpi)(ISBN 0471030031)(740s).djvu
5,6 Мб
Vapnik V. - Statistical Learning Theory (Wiley 1998)(400dpi)(T)(740s).djvu
5,8 Мб
Vapnik V.N. - The nature of statistical learning theory (2ed., Springer, 2000)(332s).djvu
2,2 Мб
Veelenturf L.P.J. - Analysis and applications of artificial neural networks (PH, 1995)(121s).djvu
9,4 Мб
Weiss G. (ed.) - Multiagent systems (MIT, 1999)(585s).rar
2,7 Мб
Weitzenfeld A., M.A.Arbib, A.Alexander. - The Neural Simulation Language (2002)(460s).rar
3,7 Мб
Werner R.F. - Quantum information theory - an invitation (draft, 2000)(51s).djvu
340 Кб
Wilf. - Algorithms and Complexity (1ed, 1994)(139s).rar
945 Кб
Williams C.P., Clearwater S.H. - Explorations in quantum computing (Telos, 1997)(303s).djvu
3,4 Мб
Williamson S. - Combinatorics for Computer Science (CSPress 1985)(524s).djvu
4,0 Мб
Wong, Cheung. - Data Mining Using Grammar Based Genetic Programming and Applications (2002).rar
1,2 Мб
Xu D. - Energy, entropy, and information potential for neural computation (1999)(206s).djvu
1,1 Мб
Zito M.A.A. - Randomized techniques in combinatorial algorithms (Warwick, 1999)(150s).djvu
987 Кб
Аветисян Р.Д., Аветисян Д.О. - Теоретические основы информатики (ру)(170с).djvu
1,8 Мб
Агафонов В.Н. (ред.) - Логическое программирование. сборник статей (Мир, 1988)(ру)(367с).djvu
3,6 Мб
Айзерман М.А. и др. - Логика, автоматы, алгоритмы (Наука, 1963)(ру)(556с).djvu
5,7 Мб
Алферова З.В. - Теория алгоритмов (Статистика, 1973)(ру)(165с).djvu
1,7 Мб
Арбиб М.А. (ред.) - Алгебраическая теория автоматов, языков и полугрупп (1975)(ру)(168с).djvu
3,7 Мб
Арратун Р. (ред.) - Оптические вычисления (Мир, 193)(ру)(443с).djvu
6,3 Мб
Ахо А.В., Хопкрофт Дж.Э., Ульман Дж.Д. - Структуры данных и алгоритмы (2000)(ру)(382с).djvu
4,2 Мб
Барендрегт Х. - Ламбда-исчисление (Мир, 1985) (ру)(304с).djvu
6,6 Мб
Бауместер Д., Экерт А., Зайлингер А. - Физика квантовой информации (2002)(ру)(382с).djvu
4,2 Мб
Берлекамп Э. - Алгебраическая теория кодирования (Мир, 1971)(ру)(239с).djvu
5,7 Мб
Брауэр В. - Введение в теорию конечных автоматов (РиС, 1987)(ру)(392с).djvu
12,2 Мб
Брукс. - Мифический человеко-месяц (ру)(171с).djvu
1,4 Мб
Валиев К.А., Кокин А.А. - Квантовые компьютеры. надежды и реальность (РХД, 2001)(ру)(358с).djvu
2,2 Мб
Варпаховский Ф.Л. - Элементы теории алгоритмов (Просвешчение 1970)(ру)(25с)(600dpi).djvu
557 Кб
Галлагер Р. - Теория информации и надежная связь (1974)(ру)(738с).djvu
10,6 Мб
Гилл А. - Введение в теорию конечных автоматов (Наука, 1966)(ру)(272с).djvu
1,9 Мб
Глушков В.М. - Алгебра. Языки. Программирование (ру)(159с).djvu
4,0 Мб
Гоппа В.Д. - Введение в алгебраическую теорию информации (Наука, 1995)(ру)(108с).djvu
997 Кб
Горвачев В.Н., Жилиба А.И. - Физические основы квантовых информационных процессов (2001)(43с).djvu
377 Кб
Гуц А.К. - Комплексный анализ и информатика (ру)(144с).djvu
906 Кб
Гуц А.К. - Математическая логика и теория алгоритмов (Омск, 2003)(ру)(55с).djvu
570 Кб
Гэри М., Джонсон Д. - Вычислительные машины и труднорешаемые задачи (Мир, 1982)(ру)(419с).djvu
12,0 Мб
Дарлингтон. - Синтез алгоритмов сортировки (ру)(36с).djvu
324 Кб
Джерри А. - Теорема отсчетов - обзор (ТИИЭР, 1977)(ру)(37с).djvu
1,5 Мб
Килин С.Я. - Квантовая информация (УФН169, 1999)(ру)(21с).djvu
389 Кб
Китаев, Шень, Вялый. - Классические и квантовые вычисления(ру)(193с).djvu
2,3 Мб
Клышко Д. - Основы квантовой информатики (УФН) (ру)(41с).djvu
1,0 Мб
Кнут Д., Грин Д. - Математические методы анализа алгоритмов (ру)(200dpi)(120с).djvu
1,6 Мб
Колмогоров. - Теория информации и теория алгоритмов (Наука, 1987)(ру)(153с).djvu
4,8 Мб
Круглов, Дли, Голунов. - Нечеткая логика и нейронные сети (ру)(221с).djvu
2,2 Мб
Кук Д., Бейз Г. - Компьютерная математика (Наука, 1990)(ру)(385с).djvu
4,8 Мб
Лидовский В.В. - Теория информации (2003)(ру)(114с).rar
790 Кб
Лупанов О.Б. (ред). - Кибернетический сборник (вып. 23) (Мир 1986)(ру)(189с).djvu
1,4 Мб
Лупанов О.Б. (ред). - Кибернетический сборник (выпуск 23) (Мир 1986)(ру)(189с).djvu
2,0 Мб
Ляпунов А.А., Лупанов О.Б. (ред) - Кибернетический сборник (вып. 7) (Мир 1970)(ру)(237с).djvu
1,7 Мб
Ляпунов А.А., Лупанов О.Б. (ред.) - Кибернетический сборник (Мир 1970)(ру)(237с).djvu
2,4 Мб
Мальцев А.Н. - Алгоритмы и рекурсивные функции (Наука, 1986)(ру)(183с).djvu
4,5 Мб
Манин Ю.И. - Вычислимое и невычислимое (1980)(ру)(66с).djvu
2,0 Мб
Марков А.А., Нагорный Н.М. - Теория алгоритмов (Наука, 1984)(ру)(217с).djvu
4,3 Мб
Минский М. - Вычисления и автоматы (Мир, 1971)(ру)(366с).djvu
3,6 Мб
Новиков Ф.А. - Дискретная математика для программистов (СПб.,2000)(ру)(301с).djvu
3,1 Мб
Петер Р. - Рекурсивные функции (ИЛ, 1954)(ру)(264с).djvu
2,9 Мб
Растригин Л.А. - Адаптация сложных систем (Рига, 1981)(ру)(394с).djvu
5,2 Мб
Рейнгольд Э., Нивергельт Ю., Део Н. - Комбинаторные алгоритмы (Мир, 1980)(ру)(485с).djvu
6,1 Мб
Роджерс Х. - Теория рекурсивных фунцкий и эффективная вычислимость (Мир, 1972)(ру)(312с).djvu
7,0 Мб
Романенко С.А. - РЕФАЛ-4, расширение РЕФАЛа-2 (1987)(ру)(30с).djvu
287 Кб
Романенко. - Рефал-4, расширение Рефала-2 (1987)(ру)(30с).djvu
335 Кб
Свами М., Туласимаран К. - Графы, сети и алгоритмы (Мир, 1984)(ру)(462с).djvu
6,3 Мб
Слисенко, Соловьев (ред.). - Математические методы построения и анализа алгоритмов (1990)(240с).djvu
2,0 Мб
Стин Э. - Квантовые вычисления (РХД, 2000)(ру)(111с).djvu
1,0 Мб
Тоффоли Т., Марголус Н. - Машины клеточных автоматов (Мир, 1991)(ру)(284с).djvu
6,6 Мб
Трахтенброт Б.А., Барздинь Я.М. - Конечные автоматы. Поведение и синтез (Наука, 1970)(ру)(200с).djvu
3,7 Мб
Турчин В.Ф. - Метаалгоритмический язык (Кибернетика, 1968)(ру)(10с).djvu
285 Кб
Тэрано Т., Асаи К., Сугэно М. (ред) - Прикладные нечеткие системы (Мир, 1993)(ру)(184с).djvu
2,2 Мб
Тэрано Т., Асаи К., Сугэно М. (ред.) - Прикладные нечеткие системы (Мир, 1993)(ру)(184с).djvu
3,0 Мб
Успенский В.А. - Лекции о вычислимых функциях (ФМЛ, 1960)(ру)(491с).djvu
5,7 Мб
Успенский В.А. - Машина Поста (ру)(49с).djvu
995 Кб
Успенский В.А., Семенов А.Л. - Теория алгоритмов (Наука, 1987)(ру)(288с).djvu
3,7 Мб
Холево А.С. - Введение в квантовую теорию информации (МЦНМО, 2002)(ру)(127с).djvu
1,0 Мб
Шеннон К. - Работы по теории информации и кибернетике (ИЛ, 1963)(ру)(832с).djvu
9,8 Мб
Шеннон, Маккарти. - Машины Тьюринга. Часть 2 (ру)(35с).djvu
800 Кб
Эббинхаус и др. - Машины Тьюринга и рекурсивные функции (Мир, 1972)(нет стр.1-5)(ру)(136с).djvu
2,4 Мб
Яблонский С.В. - Введение в дискретную математику (Наука, 1986)(ру)(396dpi)(384с).djvu
8,6 Мб
15.07.1. Видеомонтаж
Jack K. - Video demystified (2001)(783s).djvu
4,7 Мб
15.08.0. Операционные системы
Absolute BSD - the ultimate guide to BSD(524s).djvu
4,0 Мб
Advanced Unix programming (SAMS)(540s).djvu
3,6 Мб
Hacking Linux exposed (MGH, 2001)(584s).djvu
8,4 Мб
Optimizing Unix for performance (PH, 1996)(309s).djvu
3,8 Мб
Termcap and Terminfo (OReilly)(139s).djvu
3,1 Мб
Bach M.J. - The design of the Unix operating system(486s).djvu
6,0 Мб
Flynn, McIver McHoes. - Understanding operating systems (1991)(362s).djvu
3,8 Мб
Garfinkel. - The UNIX hater's handbook (IDG, 1994)(360s).djvu
2,1 Мб
Levi B. - UNIX Administration (CRC Press,2002)(ISBN 0849313511)(725s).djvu
7,1 Мб
McKinney. - Customizing and upgrading Linux (Wiley)(287s).djvu
4,9 Мб
Pate S. - Unix filesystems.. evolution, design, and implementation (Wiley, 2003)(470s).djvu
3,0 Мб
Perens B. - The Linux development platform (PH, 2003)(317s).djvu
2,1 Мб
Sterling T. (ed.) - Beowulf cluster computing with Linux (MIT, 2002)(510s).rar
1,6 Мб
Stevens R. - Unix network programming vol.1-2 (PH, 1999).rar
16,7 Мб
Vahalia. - Unix internals.. the new frontiers (PH, 1996)(632s).djvu
10,4 Мб
15.10.01. Теоретические основы программирования
GNU Regression Testing Lab manual (2003)(93s).djvu
834 Кб
Aho, Sethi, Ullman. - Compilers.. principles, techniques, and tools (AW, 1986)(100dpi)(811s).djvu
18,2 Мб
Attiya H., Welch J. - Distributed Computing. (Wiley, 2004)(ISBN 0471453242)(T)(416s).djvu
4,1 Мб
Bigus J.P. - Data mining with neural networks (MGH, 1996)(ISBN 0070057796)(119s).djvu
2,8 Мб
Ceruzzi P.E. - A History of Modern Computing (MIT,2003)(ISBN 0262532034)(452s).rar
4,2 Мб
Chu Wai C. - Speech Coding Algorithms. (Wiley,2003)(ISBN 0471373125)(578s).rar
3,3 Мб
Dongarra J., et al. - Sourcebook of parallel computing (Elsevier, 2003)(852s).rar
5,9 Мб
Eisenberg, Abelson. - Programming in Scheme (MIT, 1988)(ISBN 0262550172)(318s).djvu
8,0 Мб
Feldt, Johnson, Neumann. - Ruby developers guide (Syngress, 2002)(721s).djvu
6,7 Мб
Felleisen, Findler, Flatt, Krishnamurthi. - How to design programs (MIT, 2001)(565s).djvu
9,6 Мб
Fokker J. - Functional programming (1995)(155s).rar
644 Кб
Fowler et al. - Refactoring - Improving the Design of Existing Code(337s).rar
1,3 Мб
Gamma, Helm, Johnson, Vlissides. - Design patterns CD(400dpi)(806s).djvu
8,9 Мб
Guo, Grossman (eds.). - High Performance Data Mining (Kluwer, 2002)(111s).rar
856 Кб
Han J., Kamber M. - Data mining.. concepts and techniques (draft 2000)(31s).djvu
255 Кб
Hehner E.C.R. - A practical theory of programming (2ed., 2004)(242s).rar
818 Кб
Hudak P. - Conception, evolution, and application of functional programming languages (1989).djvu
748 Кб
Kernighan, Pike. - The practice of programming (1999)(ISBN 020161586X)(273s).djvu
2,6 Мб
Knuth D. - The art of computer programming, vol. 1-2 (AW, 1ed, 1968).rar
16,9 Мб
Knuth D. - The TeXbook (AW, 192)(494s).rar
2,6 Мб
Kowalski R. - Algorithm = Logic + Control (Comm.ACM, 1971)(13s).djvu
508 Кб
Kowalski R. - Algorithm = Logic + Control (Comm.ACM, 1971)(T)(13s).djvu
500 Кб
Lieberherr K. - Adaptive object-oriented software.. the Demeter method (1996)(400dpi)(651s).djvu
3,8 Мб
Loukides, Oram. - Programming with GNU software (O'Reilly, 1996)(ISBN 1565921127)(263s).djvu
3,9 Мб
Pollard et al. (eds.) - High Performance Computing Systems and Applications (2000)(619s).djvu
7,6 Мб
Rosenberg. - How debuggers work(263s).djvu
3,3 Мб
Sebesta R.W. - Concepts of programming languages (AW)(698s).djvu
15,5 Мб
Smith. - Reflective procedural programming (phd thesis)(762s).djvu
9,6 Мб
Weinberg G.M. - Psychology of computer programming(299s).djvu
4,1 Мб
Ye N. (ed.) - The handbook of data mining (2003)(703s).djvu
8,3 Мб
Агафонов В.Н. (ред.) - Логическое программирование.. сборник статей (Мир, 1988)(ру)(367с).djvu