|
|
 |
| Результат поиска |
Поиск книг, содержащих: McCarthy, J.
| Книга | Страницы для поиска | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 2. Методы и системы программирования | 180, 188, 248—250 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 58, 235 | | Jurafsky D., Martin J.H. — Speech and Language Processing | 11, 12, 111, 350, 578 | | Rips J.L. — The psychology of proof: deductive reasoning in human thinking | 97, 295, 390 | | Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools | 82, 461, 725 | | Wilensky R. — Planning and Understanding | 26, 158 | | Hazewinkel M. (ed.) — Handbook of Algebra, Volume 4 | 430 | | Kyburg H.E., Teng Ch.M. — Uncertain Inference | 120, 121, 143 | | Sleeman D., Brown J.S. — Intelligent tutoring systems | 328 | | Hopcroft J.E., Motwani R., Ullman J.D. — Introduction to Automata Theory, Languages, and Computation | 81 | | Samet H. — Applications of Spatial Data Structures: Computer Graphics, Image Processing, and Other Areas | 426, 456 | | Li M., Vitanyi P. — An introduction to Kolmogorov complexity and its applications | 308 | | Pearl J. — Heuristics | 273, 286 | | Mohannan K.P. — The theory of lexical phonology | 2, 29, 175 | | Samet H. — The design and analysis of spatial data structures | 412, 442 | | Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP | 15, 47, 229, 231 | | Carlson L. — Dialogue Games. An Approach to Discourse Analysis | 277n | | Alagić S., Arbib M.A. — The Design of Well-Structured and Correct Programs | 215 | | Bernardo J.M., Smith A.F.M. — Bayesian Theory | 91, 533 | | Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving | 62, 187, 274—275, 290—291, 334, 351 | | Schank R.C. — Computer models of thought and language | 122 | | Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling, Volume 1: Parsing | 77 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 338, 340, 515 | | Barwise J. — The Situation in Logic | 203 | | Hopcroft J.E., Ullman J.D. — Introduction to automata theory, languages, and computation | 54 | | Wooldridge M. (ed.), Muller J. (ed.), Tambe M. (ed.) — Intelligent Agents II | 12 | | Davis H.T. — Introduction to nonlinear differential and integral equations | 553 | | Aho A.V., Ullman J.D. — The Theory of Parsing, Translation, and Compiling. Volume II: Compiling | 77 | | 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 Cognition | 4, 34—35, 138, 227 | | Kuczma M. — Functional equations in a single variable | 274, 347 | | Brady J.M. — The theory of computer science: A programming approach | 2, 4, 5, 13, 14, 16, 103, Chapter 6, 29, 40, 177, 214, 220, 240 | | McGettrick A.D. — The Definition of Programming Languages | 61, 70, 96, 241, 257 | | Covington M.A., Nute D., Vellino A. — Prolog programming in depth | 207, 398 | | Yovits M. — Advances in Computers.Volume 26. | 36, 44, 52, 92 | | Hargittai M., Hargittai I. — Candid Science IV: Conversations With Famous Physicists | 165, 307, 395 | | Alt F.L., Rubinoff M. — Advances in computers.Volume 3 | 84 (19), 153 | | Klerer M, Reinfelds J — Interactive systems for experimental applied math (Proc ACM symposium) | 90, 754, 435 |
|
|
|
|
О проекте