Search Results for - Narrowed by: Logic, Symbolic and mathematical. - Programming Techniques.
SirsiDynix Enterprise
https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bTechniques.$002509Programming$002bTechniques.$0026ps$003d300$0026isd$003dtrue?
2024-09-25T15:10:42Z
Adapting Proofs-as-Programs The Curry-Howard Protocol
ent://SD_ILS/0/SD_ILS:504749
2024-09-25T15:10:42Z
2024-09-25T15:10:42Z
by Poernomo, Iman Hafiz. author.<br/><a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<br/>
Categories for Software Engineering
ent://SD_ILS/0/SD_ILS:509032
2024-09-25T15:10:42Z
2024-09-25T15:10:42Z
by Fiadeiro, José Luiz. author.<br/><a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format: Electronic Resources<br/>