The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Algorithm Analysis » Page 1537
Algorithmic Learning Theory: 10th International Conference, ALT’99 Tokyo, Japan, December 6–8, 1999 Proceedings
pdf
Author:
Katharina Morik (auth.) Osamu Watanabe Takashi Yokomori (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
Computational Learning Theory: 15th Annual Conference on Computational Learning Theory, COLT 2002 Sydney, Australia, July 8–10, 2002 Proceedings
pdf
Author:
Shahar Mendelson Robert C. Williamson (auth.) Jyrki Kivinen Robert H. Sloan (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
0
0
Read online
Neural Information Processing: 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006. Proceedings, Part III
djvu
Author:
Ha-Nam Nguyen Syng-Yup Ohn (auth.) Irwin King Jun Wang Lai-Wan Chan DeLiang Wang (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
0
0
Read online
Algebraic and Logic Programming: International Workshop Gaussig, GDR, November 14–18, 1988 Proceedings
djvu
Author:
J. A. Bergstra (auth.) J. Grabowski P. Lescanne W. Wechler (eds.)
Language:
English
Year:
1988
0
0
26.01.2024
1
0
Read online
Algorithms and Computation: 5th International Symposium, ISAAC '94 Beijing, P. R. China, August 25–27, 1994 Proceedings
djvu
Author:
Wu Wen-tsun (auth.) Ding-Zhu Du Xiang-Sun Zhang (eds.)
Language:
English
Year:
1994
0
0
26.01.2024
0
0
Read online
Research in Computational Molecular Biology: 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006. Proceedings
pdf
Author:
Balaji S. Srinivasan Antal F. Novak (auth.) Alberto Apostolico Concettina Guerra Sorin Istrail Pavel A. Pevzner Michael Waterman (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
0
0
Read online
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
pdf
Author:
Gerard_J. Holzmann (auth.) Ed Brinksma Kim Guldstrand Larsen (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
0
0
Read online
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings
pdf
Author:
Randal E. Bryant Steven German Miroslav N. Velev (auth.) Neil V. Murray (eds.)
Language:
English
Year:
1999
0
0
26.01.2024
0
0
Read online
Compiler Construction: 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings
pdf
Author:
Ole Lehrmann Madsen (auth.) Reinhard Wilhelm (eds.)
Language:
English
Year:
2001
0
0
26.01.2024
1
0
Read online
Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
djvu
Author:
Alexander Aiken Dexter Kozen Moshe Vardi Ed Wimmers (auth.) Egon Börger Yuri Gurevich Karl Meinke (eds.)
Language:
English
Year:
1994
0
0
26.01.2024
1
0
Read online
1
...
1533
1534
1535
1536
1537
1538
1539
1540
1541
...
1566
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
