Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logics and Meanings » Page 1396
book Computer Science Logic: 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings
pdf
00
26.01.2024
0
0
Read online
book Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
Agent-Oriented Software Engineering VI: 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
pdf
00
26.01.2024
0
0
Read online
book Learning Theory: 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings
Learning Theory: 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006. Proceedings
pdf
00
26.01.2024
0
0
Read online
book Logic Programming: First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings
Logic Programming: First Russian Conference on Logic Programming Irkutsk, Russia, September 14–18, 1990 Second Russian Conference on Logic Programming St. Petersburg, Russia, September 11–16, 1991 Proceedings
djvu
00
26.01.2024
1
0
Read online
book Software Engineering for Large-Scale Multi-Agent Systems: Research Issues and Practical Applications
Software Engineering for Large-Scale Multi-Agent Systems: Research Issues and Practical Applications
pdf
00
26.01.2024
1
0
Read online
book Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
pdf
00
26.01.2024
0
0
Read online
book Text, Speech and Dialogue: 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004. Proceedings
Text, Speech and Dialogue: 7th International Conference, TSD 2004, Brno, Czech Republic, September 8-11, 2004. Proceedings
djvu
00
26.01.2024
0
0
Read online
book Compiler Compilers and High Speed Compilation: 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings
Compiler Compilers and High Speed Compilation: 2nd CCHSC Workshop Berlin, GDR, October 10–14, 1988 Proceedings
djvu
00
26.01.2024
1
0
Read online
book Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski Part I
pdf
00
26.01.2024
0
0
Read online
book Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings
Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings
djvu
00
26.01.2024
2
0
Read online