Search Results for Logic programming. - Narrowed by: Algebraic logic.
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dLogic$002bprogramming.$0026qf$003dSUBJECT$002509Subject$002509Algebraic$002blogic.$002509Algebraic$002blogic.$0026ps$003d300?dt=list
2026-04-11T07:44:24Z
Cafe : an industrial-strength algebraic formal method
ent://SD_ILS/0/SD_ILS:1186207
2026-04-11T07:44:24Z
2026-04-11T07:44:24Z
by Futatsugi, Kokichi.<br/>ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780444505569">https://www.sciencedirect.com/science/book/9780444505569</a><br/>Format: Electronic Resources<br/>