Search Results for Combinatory logic. - Narrowed by: Online Library
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCombinatory$002blogic.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026ic$003dtrue$0026ps$003d300?dt=list
2026-01-18T04:34:17Z
Combinatory logic
ent://SD_ILS/0/SD_ILS:257278
2026-01-18T04:34:17Z
2026-01-18T04:34:17Z
Author Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533876">http://www.sciencedirect.com/science/book/9780444533876</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatory logic. Volume II
ent://SD_ILS/0/SD_ILS:257254
2026-01-18T04:34:17Z
2026-01-18T04:34:17Z
Author Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422085">http://www.sciencedirect.com/science/book/9780720422085</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Combinatory logic : pure, applied and typed
ent://SD_ILS/0/SD_ILS:541654
2026-01-18T04:34:17Z
2026-01-18T04:34:17Z
Author Bimbo, Katalin, 1963, author.<br/>Preferred Shelf Number QA9.5 .B56 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439800010">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics
ent://SD_ILS/0/SD_ILS:527193
2026-01-18T04:34:17Z
2026-01-18T04:34:17Z
Author LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21090-7">https://doi.org/10.1007/978-3-031-21090-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra of proofs
ent://SD_ILS/0/SD_ILS:257307
2026-01-18T04:34:17Z
2026-01-18T04:34:17Z
Author Szabo, M. E.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422863">http://www.sciencedirect.com/science/book/9780720422863</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>