Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/80064
Дата изменения: Unknown
Дата индексирования: Mon Apr 11 16:59:58 2016
Кодировка: Windows-1251
Stickel M.E. (ed.) - 10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings :: Электронная библиотека попечительского совета мехмата МГУ
 
Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Stickel M.E. (ed.) - 10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings
Stickel M.E. (ed.) - 10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: 10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings

Автор: Stickel M.E. (ed.)

Аннотация:

This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.


Язык: en

Рубрика: Computer science/AI, knowledge/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Издание: 1

Год издания: 1990

Количество страниц: 688

Добавлена в каталог: 02.02.2011

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Altucher, James A.      500
Andrews, Peter B.      641
Araya, Carlos      643 645
Baader, Franz      396 681
Bachmair, Leo      427
Baral, Chitta      102
Basin, David A.      251
Benanav, Dan      442
Bibel, Wolfgan g      426
Boudet, Alexandre      292
Boy de la Tour, Thierry      558
Boyer, Robert S.      1
Brown, Frank M.      643 645
Buerckert, Hans-Juergen      178
Bundy, Alan      132 633 647
Butler, Ralph      485 649
Chou, Shang-Ching      207
da Costa, Newton C.A.      72
Dougherty, Daniel J.      261
Eichenlaub, Carl      651
Ertel, Wolfgang      470
Esrig, Bruce      651
Farmer, William M.      653
Felty, Amy      221 682
Foster, Ian      649
Ganzinger, Harald      427
Gao, Xiao-Shan      207
Gramlich, Bernhard      655
Gunter, Elsa      682
Guttman, Joshua D.      653
Hagiya, Masami      588
Heisel, M.      117
Henschen, Lawrence J.      57 72 456
Herzig, Andreas      683
Hines, Larry      193
Hook, James      651
Horn, Christian      647
Hsiang, Jieh      684
Hutter, Dieter      147
Ireland, Andrew      132
Issar, Sunil      641
Jackson, Peter      543
Jindal, Anita      649
Johann, Patricia      261
Jouannaud, Jean-Pierre      684
Kaeufl, Thomas      657
Kaufmann, Matt      659
Kirchner, Claude      682
Klapper, Carl      651
Kurfess, F.      683
Lee, Sang Ho      57
Lescanne, Pierre      661
Letz, R.      40 683
Lobo, Jorge      102
Lu, James J.      72
Lusk, Ewing L.      28 485 681
Martin, Ursula      366
McCune, William      485 663 681
McMichael, Alan F.      308
Miller, Dale      221 682
Minker, Jack      102
Moore, J Strother      1
Mueller, Juergen      681
Murray, Neil V.      665
Narendran, Paliath      276
Nebel, Bernhard      681
Nesmith, Dan      336 641
Nie, Xumin      16
Nieuwenhuis, Robert      667
Nipkow, Tobias      366
Nutt, Werner      618 681
Ohlbach, Hans Jurgen      683
Orejas, Fernando      667
Otto, Friedrich      276
Overbeek, Ross      485 649
Ozturk, Yusuf      456
Pais, John      543
Panangaden, Prakash      500
Payne, T.H.      87
Peterson, Gerald E.      381
Pfenning, Frank      336 641 682
Pierce, William      351
Plaisted, David A.      16
Pollock, John L.      669
Pottinger, Garrel      651
Pritchard, Paul      685
Pym, David      236
Reddy, Uday S.      162
Reif, W.      117
Rittri, Mikael      603
Rosenthal, Erik      665
Rubio, Albert.      667
Satz, Ronald W.      671
Schumann, J.      40 683
Schwind, Camilla B.      528
Slaney, John K.      28 685
Smaill, Alan      132 647
Smolka, Gert      681
Snyder, Wayne      573
Steinbach, Joachim      411
Stephan, W.      117
Stevens, R.      485
Stickel, Mark E.      673
Subrahmanian, V.S.      72
Sutcliffe, Geoff      675
Suttner, Christian      470
Tarver, Mark      322
Thayer, F, Javier      653
Tuominen, Heikki      514
van Harmelen, Frank      132 647
Voronkov, A.A.      677
Wakayama, Toshiro      87
Waldinger, Richard      684
Wallen, Lincoln      236
Winker, S.      485
Wolfram, D.A.      679
Wos, L.      485
Zabel, Nicolas      657
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2016
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте