The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Programming Techniques » Page 1255
Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
pdf
Author:
Ulrich Geske Hans-Joachim Goltz (auth.) Dietmar Seipel Michael Hanus Armin Wolf (eds.)
Language:
English
Year:
2009
0
0
26.01.2024
0
0
Read online
Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings
djvu
Author:
M. Alpuente M. Falaschi G. Moreno G. Vidal (auth.) Michael Hanus Jan Heering Karl Meinke (eds.)
Language:
English
Year:
1997
0
0
26.01.2024
0
0
Read online
Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings
pdf
Author:
Henry Kautz Bart Selman (auth.) Francesca Rossi (eds.)
Language:
English
Year:
2003
0
0
26.01.2024
3
0
Read online
Mobile Agents for Telecommunication Applications: Second International Workshop, MATA 2000 Paris, France, September 18–20, 2000 Proceedings
pdf
Author:
Romit RoyChoudhuri S. Bandyopadhyay Krishna Paul (auth.) Eric Horlait (eds.)
Language:
English
Year:
2000
0
0
26.01.2024
0
0
Read online
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
djvu
Author:
Thomas Reps Susan Horwitz (auth.) H. Ganzinger (eds.)
Language:
English
Year:
1988
0
0
26.01.2024
0
0
Read online
Algorithmic Learning Theory: 4th International Workshop on Analogical and Inductive Inference, AII '94 5th International Workshop on Algorithmic Learning Theory, ALT '94 Reinhardsbrunn Castle, Germany October 10–15, 1994 Proceedings
djvu
Author:
Jānis Barzdinš (auth.) Setsuo Arikawa Klaus P. Jantke (eds.)
Language:
English
Year:
1994
0
0
26.01.2024
1
0
Read online
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
pdf
Author:
Matthias Baaz (auth.) Uwe Egly Chritian G. Fermüller (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
0
0
Read online
Principles and Practice of Constraint Programming – CP 2000: 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings
pdf
Author:
Alan K. Mackworth (auth.) Rina Dechter (eds.)
Language:
English
Year:
2000
0
0
26.01.2024
0
0
Read online
Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
djvu
Author:
David A. Basin (auth.) Laurent Fribourg Franco Turini (eds.)
Language:
English
Year:
1994
0
0
26.01.2024
0
0
Read online
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
pdf
Author:
V. Michele Abrusci (auth.) Marta Cialdea Mayer Fiora Pirri (eds.)
Language:
English
Year:
2003
0
0
26.01.2024
0
0
Read online
1
...
1251
1252
1253
1254
1255
1256
1257
1258
1259
...
1276
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через