Handbook of Logic in Computer Science 5 (книга)
Handbook of Logic in Computer Science 5 | |
Автор: | Samson Abramsky Dov. M. Gabbay T. S. E. Maibaum S. Abramsky Dov M. Gabbay Thomas S. E. Maibaum |
---|---|
Оригинал издан: | ???? |
«Handbook of Logic in Computer Science 5» — книга ???? года.
Содержание |
Содержание 
От издателя 
«The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of logic to theoretical computer science. Each volume is comprised of an average of five 100-page…»