Arama Sonu&ccedil;lar&#305; Arithmetic. - Daralt&#305;lm&#305;&#351;: Machine theory. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dArithmetic.$0026qf$003dSUBJECT$002509Konu$002509Machine$002btheory.$002509Machine$002btheory.$0026ps$003d300?dt=list 2026-06-15T21:04:11Z Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:613275 2026-06-15T21:04:11Z 2026-06-15T21:04:11Z Yazar&#160;Olivetti, Nicola. editor.&#160;Tiwari, Ashish. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616953 2026-06-15T21:04:11Z 2026-06-15T21:04:11Z Yazar&#160;Beckmann, Arnold. editor.&#160;Bienvenu, Laurent. editor.&#160;Jonoska, Nata&scaron;a. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="https://doi.org/10.1007/978-3-319-40189-8">https://doi.org/10.1007/978-3-319-40189-8</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>