Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Programming Techniques » Page 1255
book 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
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
00
26.01.2024
0
0
Read online
book Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings
Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings
djvu
00
26.01.2024
0
0
Read online
book Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings
Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings
pdf
00
26.01.2024
3
0
Read online
book Mobile Agents for Telecommunication Applications: Second International Workshop, MATA 2000 Paris, France, September 18–20, 2000 Proceedings
Mobile Agents for Telecommunication Applications: Second International Workshop, MATA 2000 Paris, France, September 18–20, 2000 Proceedings
pdf
00
26.01.2024
0
0
Read online
book ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
ESOP '88: 2nd European Symposium on Programming Nancy, France, March 21–24, 1988 Proceedings
djvu
00
26.01.2024
0
0
Read online
book 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
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
00
26.01.2024
1
0
Read online
book Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings
pdf
00
26.01.2024
0
0
Read online
book Principles and Practice of Constraint Programming – CP 2000: 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings
Principles and Practice of Constraint Programming – CP 2000: 6th International Conference, CP 2000 Singapore, September 18–21, 2000 Proceedings
pdf
00
26.01.2024
0
0
Read online
book Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings
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
00
26.01.2024
0
0
Read online
book Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003. Proceedings
pdf
00
26.01.2024
0
0
Read online