Online Library TheLib.net » Author books / Книги автора Peter O’Hearn John Reynolds Hongseok Yang (auth.) Laurent Fribourg (eds.)
book Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
pdf
00
27.01.2024
0
0
Read online
book Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
pdf
00
26.01.2024
0
0
Read online