The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Artificial Intelligence (incl. Robotics) » Page 1242
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings
djvu
Author:
Tobias Nipkow (auth.) Jim Grundy Malcolm Newey (eds.)
Language:
English
Year:
1998
0
0
26.01.2024
0
0
Read online
Advances in Artificial Intelligence – SBIA 2004: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-Ocotber 1, 2004. Proceedings
pdf
Author:
Mario Benevides Carla Delgado Renata P. de Freitas Paulo A. S. Veloso (auth.) Ana L. C. Bazzan Sofiane Labidi (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Agent-Oriented Software Engineering II: Second International Workshop, AOSE 2001 Montreal, Canada, May 29, 2001 Revised Papers and Invited Contributions
pdf
Author:
H. Van Dyke Parunak James J. Odell (auth.) Michael J. Wooldridge Gerhard Weiß Paolo Ciancarini (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
2
0
Read online
Compiler Construction: 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings
djvu
Author:
Josef Grosch (auth.) Uwe Kastens Peter Pfahler (eds.)
Language:
English
Year:
1992
0
0
26.01.2024
1
0
Read online
Algebraic and Logic Programming: Second International Conference Nancy, France, October 1–3, 1990 Proceedings
djvu
Author:
Joseph A. Goguen (auth.) Hélène Kirchner Wolfgang Wechler (eds.)
Language:
English
Year:
1990
0
0
26.01.2024
0
0
Read online
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings
djvu
Author:
Leo Bachmair (auth.) Georg Gottlob Alexander Leitsch Daniele Mundici (eds.)
Language:
English
Year:
1997
0
0
26.01.2024
0
0
Read online
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings
pdf
Author:
Klaus Aehlig Jan Johannsen Helmut Schwichtenberg (auth.) Reinhard Kahle Peter Schroeder-Heister Robert Stärk (eds.)
Language:
English
Year:
2001
0
0
26.01.2024
1
0
Read online
Progress in Discovery Science: Final Report of the Japanese Dicsovery Science Project
pdf
Author:
Koichi Takahashi Masami Hagiya (auth.) Setsuo Arikawa Ayumi Shinohara (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
0
0
Read online
Principles and Practice of Constraint Programming - CP 2006: 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006. Proceedings
pdf
Author:
Shabbir Ahmed (auth.) Frédéric Benhamou (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
0
0
Read online
Compiler Construction: 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings
pdf
Author:
George Necula (auth.) Alan Mycroft Andreas Zeller (eds.)
Language:
English
Year:
2006
0
0
26.01.2024
1
0
Read online
1
...
1238
1239
1240
1241
1242
1243
1244
1245
1246
...
1276
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
