Online Library TheLib.net » Author books / Книги автора Alan Bundy Julian Richardson (auth.) Harald Ganzinger David McAllester Andrei Voronkov (eds.)
book Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
pdf
00
27.01.2024
1
0
Read online
book Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
Logic for Programming and Automated Reasoning: 6th International Conference, LPAR’99 Tbilisi, Georgia, September 6–10, 1999 Proceedings
djvu
00
27.01.2024
1
0
Read online