Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: McCarthy, J.



КнигаСтраницы для поиска
Хювёнен Э., Септянен И. — Мир Лиспа. Том 2. Методы и системы программирования180, 188, 248—250
Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование58, 235
Jurafsky D., Martin J.H. — Speech and Language Processing11, 12, 111, 350, 578
Rips J.L. — The psychology of proof: deductive reasoning in human thinking97, 295, 390
Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools82, 461, 725
Wilensky R. — Planning and Understanding26, 158
Hazewinkel M. (ed.) — Handbook of Algebra, Volume 4430
Kyburg H.E., Teng Ch.M. — Uncertain Inference120, 121, 143
Sleeman D., Brown J.S. — Intelligent tutoring systems328
Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation81
Samet H. — Applications of Spatial Data Structures: Computer Graphics, Image Processing, and Other Areas426, 456
Li M., Vitanyi P. — An introduction to Kolmogorov complexity and its applications308
Pearl J. — Heuristics273, 286
Mohannan K.P. — The theory of lexical phonology2, 29, 175
Samet H. — The design and analysis of spatial data structures412, 442
Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP15, 47, 229, 231
Carlson L. — Dialogue Games. An Approach to Discourse Analysis277n
Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs215
Bernardo J.M., Smith A.F.M. — Bayesian Theory91, 533
Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving62, 187, 274—275, 290—291, 334, 351
Schank R.C. — Computer models of thought and language122
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing77
Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods338, 340, 515
Barwise J. — The Situation in Logic203
Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation54
Wooldridge M. (ed.), Muller J. (ed.), Tambe M. (ed.) — Intelligent Agents II12
Davis H.T. — Introduction to nonlinear differential and integral equations553
Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling77
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.686, 782
Marsland T.A., Schaeffer J. — Computers, Chess and Cognition4, 34—35, 138, 227
Kuczma M. — Functional equations in a single variable274, 347
Brady J.M. — The theory of computer science: A programming approach2, 4, 5, 13, 14, 16, 103, Chapter 6, 29, 40, 177, 214, 220, 240
McGettrick A.D. — The Definition of Programming Languages61, 70, 96, 241, 257
Covington M.A., Nute D., Vellino A. — Prolog programming in depth207, 398
Yovits M. — Advances in Computers.Volume 26.36, 44, 52, 92
Hargittai M., Hargittai I. — Candid Science IV: Conversations With Famous Physicists165, 307, 395
Alt F.L., Rubinoff M. — Advances in computers.Volume 384 (19), 153
Klerer M, Reinfelds J — Interactive systems for experimental applied math (Proc ACM symposium)90, 754, 435
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте