Arama Sonu&ccedil;lar&#305; Information theory. - Daralt&#305;lm&#305;&#351;: Logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dInformation$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Logic.$002509Logic.$0026pe$003dd$00253A$0026ps$003d300?dt=list 2024-12-25T06:44:46Z The Realism-Antirealism Debate in the Age of Alternative Logics ent://SD_ILS/0/SD_ILS:206212 2024-12-25T06:44:46Z 2024-12-25T06:44:46Z Yazar&#160;Rahman, Shahid. editor.&#160;Primiero, Giuseppe. editor.&#160;Marion, Mathieu. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-94-007-1923-1">http://dx.doi.org/10.1007/978-94-007-1923-1</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cognitive Reasoning A Formal Approach ent://SD_ILS/0/SD_ILS:185626 2024-12-25T06:44:46Z 2024-12-25T06:44:46Z Yazar&#160;Gergely, Tam&aacute;s. author.&#160;Anshakov, Oleg M. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-68875-4">http://dx.doi.org/10.1007/978-3-540-68875-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Neural-Symbolic Cognitive Reasoning ent://SD_ILS/0/SD_ILS:186786 2024-12-25T06:44:46Z 2024-12-25T06:44:46Z Yazar&#160;d&rsquo;Avila Garcez, Artur S. author.&#160;Lamb, Lu&iacute;s C. author.&#160;Gabbay, Dov M. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73246-4">http://dx.doi.org/10.1007/978-3-540-73246-4</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Deduction, Computation, Experiment Exploring the Effectiveness of Proof ent://SD_ILS/0/SD_ILS:204291 2024-12-25T06:44:46Z 2024-12-25T06:44:46Z Yazar&#160;Lupacchini, Rossella. editor.&#160;Corsi, Giovanna. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-88-470-0784-0">http://dx.doi.org/10.1007/978-88-470-0784-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>