Handbook of Logic in Computer Science: Semantic Structures (книга)
Handbook of Logic in Computer Science: Semantic Structures | |
Автор: | Samson Abramsky Dov M. Gabbay T.S.E. Maibaum S. Abramsky Thomas S. E. Maibaum |
---|---|
Оригинал издан: | ???? |
«Handbook of Logic in Computer Science: Semantic Structures» — книга ???? года.
Содержание |
Содержание 
От издателя 
«Logic is now widely recognized as one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to programming languages and AI. The Handbook of Logic in…»