Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Computation by Abstract Devices,Artificial Intelligence (inc » Page 9
book Transactions on Rough Sets IV
Transactions on Rough Sets IV
pdf
00
26.01.2024
0
0
Read online
book Transactions on Rough Sets VI: Commemorating the Life and Work of Zdzisław Pawlak, Part I
Transactions on Rough Sets VI: Commemorating the Life and Work of Zdzisław Pawlak, Part I
pdf
00
26.01.2024
2
0
Read online
book Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzisław Pawlak, Part II
Transactions on Rough Sets VII: Commemorating the Life and Work of Zdzisław Pawlak, Part II
pdf
00
26.01.2024
2
0
Read online
book Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
pdf
00
26.01.2024
0
0
Read online
book Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers
Computer Aided Systems Theory — EUROCAST 2001: A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 19–23, 2001 Revised Papers
pdf
00
26.01.2024
0
0
Read online
book Automata Implementation: Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers
Automata Implementation: Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers
pdf
00
26.01.2024
0
0
Read online
book Advances in Brain, Vision, and Artificial Intelligence: Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings
Advances in Brain, Vision, and Artificial Intelligence: Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings
pdf
00
26.01.2024
0
0
Read online
book CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
djvu
00
26.01.2024
0
0
Read online
book Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
pdf
00
26.01.2024
1
0
Read online
book Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings
Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98 Canberra, Australia September 27–October 1, 1998 Proceedings
djvu
00
26.01.2024
0
0
Read online
1 2 3 4 5 6 7 8 9 10