Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logics and Meanings » Page 1536
book Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings
Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001 Edinburgh, Scotland, UK, September 3–6, 2001 Proceedings
pdf
00
26.01.2024
0
0
Read online
book Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Declarative Agent Languages and Technologies IV: 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
pdf
00
26.01.2024
1
0
Read online
book Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings
pdf
00
26.01.2024
0
0
Read online
book The joint spectral radius: Theory and applications
The joint spectral radius: Theory and applications
pdf
00
26.01.2024
0
0
Read online
book Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
Inductive Logic Programming: 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings
pdf
00
26.01.2024
0
0
Read online
book Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers
pdf
00
26.01.2024
0
0
Read online
book Advanced Distributed Systems: Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004. Revised Selected Papers
Advanced Distributed Systems: Third International School and Symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004. Revised Selected Papers
pdf
00
26.01.2024
0
0
Read online
book Agents and Peer-to-Peer Computing: 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers
Agents and Peer-to-Peer Computing: 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers
pdf
00
26.01.2024
2
0
Read online
book Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
pdf
00
26.01.2024
0
0
Read online
book Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
Compiler Construction: 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
pdf
00
26.01.2024
0
0
Read online