Arama Sonuçları Recursion theory. - Daraltılmış: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dRecursion$002btheory.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026pe$003dd$00253A$0026ps$003d300?dt=list2024-12-27T13:01:26ZMathematical logic : A course with exercisesent://SD_ILS/0/SD_ILS:766782024-12-27T13:01:26Z2024-12-27T13:01:26ZYazar Cori, Rene. Lascar, Daniel, 1942- ort. yaz.<br/>Yer Numarası QA 9 C742513 2000 PT.1<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612024-12-27T13:01:26Z2024-12-27T13:01:26ZYazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(519161.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5192372024-12-27T13:01:26Z2024-12-27T13:01:26ZYazar Vitek, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519237.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46669-8">https://doi.org/10.1007/978-3-662-46669-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172024-12-27T13:01:26Z2024-12-27T13:01:26ZYazar Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519117.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>