Arama Sonuçları Combinatory logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCombinatory$002blogic.$0026ic$003dtrue$0026ps$003d300?2025-12-09T23:03:26ZCombinatory logicent://SD_ILS/0/SD_ILS:2572782025-12-09T23:03:26Z2025-12-09T23:03:26ZYazar Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533876">http://www.sciencedirect.com/science/book/9780444533876</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatory logic. Volume IIent://SD_ILS/0/SD_ILS:2572542025-12-09T23:03:26Z2025-12-09T23:03:26ZYazar Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422085">http://www.sciencedirect.com/science/book/9780720422085</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatory logic : pure, applied and typedent://SD_ILS/0/SD_ILS:5416542025-12-09T23:03:26Z2025-12-09T23:03:26ZYazar Bimbo, Katalin, 1963, author.<br/>Yer Numarası QA9.5 .B56 2012<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781439800010">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.ent://SD_ILS/0/SD_ILS:264872025-12-09T23:03:26Z2025-12-09T23:03:26ZYazar Aoun, Ali Salem<br/>Yer Numarası TEZ 3422 DR. 1996<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Roboticsent://SD_ILS/0/SD_ILS:5271932025-12-09T23:03:26Z2025-12-09T23:03:26ZYazar LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cross-Disciplinary Perspectives on Lexical Blendingent://SD_ILS/0/SD_ILS:5332762025-12-09T23:03:26Z2025-12-09T23:03:26ZYazar Arcodia, Giorgio Francesco, contributor. Arnaud, Pierre J. L., contributor. Arnaud, Pierre, editor. Bassac, Christian, contributor. Bat-El, Outi, contributor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1515/9783110289572">https://doi.org/10.1515/9783110289572</a>
<a href="https://www.degruyter.com/isbn/9783110289572">https://www.degruyter.com/isbn/9783110289572</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110289572/original">https://www.degruyter.com/document/cover/isbn/9783110289572/original</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebra of proofsent://SD_ILS/0/SD_ILS:2573072025-12-09T23:03:26Z2025-12-09T23:03:26ZYazar Szabo, M. E.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422863">http://www.sciencedirect.com/science/book/9780720422863</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>