Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

• Tác giả: Mikołaj Bojańczyk, Alex Simpson
• Ngôn ngữ: ger
• ISBN-13: 978-3030171278
• Ký hiệu phân loại: 005.131 Symbolic logic (Mathematical logic)
• Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2019
• Mô tả vật lý: XV, 542 p. 2401 illus., 6 illus. in color. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 168806
• Chủ đề: 1. Artificial intelligence; 2. Computer programming; 3. Computer science-Mathematics; 4. Data structures (Computer science); 5. Mathematical logic; 6. Programming languages (Electronic computers); 7. Mathematical Logic and Formal Languages; 8. Artificial Intelligence; 9. Data Structures; 10. Discrete Mathematics in Computer Science; 11. Programming Languages, Compilers, Interpreters; 12. Programming Techniques

Tóm tắt

This book is Open Access under a CC BY licence.