Dexter Kozen – författare
Visar alla böcker från författaren Dexter Kozen. Handla med fri frakt och snabb leverans.
6 produkter
Logic, Language, Information, and Computation
31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14–17, 2025, Proceedings
Av Dexter Kozen, Ruy de Queiroz
Häftad, 2025
747 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.The 21 full papers included in …
Logic, Language, Information, and Computation
31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings
Av Ruy de Queiroz, Dexter Kozen
E-bok, 2025
1007 kr
Lägg i varukorg
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 31st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2025, in Porto, Portugal, during July 2025.The 21 full papers included in …
Mathematics of Program Construction
7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
Av Dexter Kozen, Carron Shankland
Häftad, 2004
568 kr
Lägg i varukorg
This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrablyusefulinthe processofconstructingcomputerp- …
Mathematics of Program Construction
7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
Av Carron Shankland, Dexter Kozen
E-bok, 2004
755 kr
Lägg i varukorg
