Search Results for Logik. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogik.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list2026-03-27T22:32:25ZAutomatentheorie und Logikent://SD_ILS/0/SD_ILS:1938022026-03-27T22:32:25Z2026-03-27T22:32:25ZAuthor Hofmann, Martin. author. Lange, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18090-3">http://dx.doi.org/10.1007/978-3-642-18090-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:3371152026-03-27T22:32:25Z2026-03-27T22:32:25ZAuthor Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337115.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34720-7">http://dx.doi.org/10.1007/978-3-642-34720-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?ent://SD_ILS/0/SD_ILS:3383492026-03-27T22:32:25Z2026-03-27T22:32:25ZAuthor Schenke, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338349.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-2295-6">http://dx.doi.org/10.1007/978-3-8348-2295-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logikent://SD_ILS/0/SD_ILS:1987712026-03-27T22:32:25Z2026-03-27T22:32:25ZAuthor Hoffmann, Dirk W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2560-7">http://dx.doi.org/10.1007/978-3-8274-2560-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Berechenbarkeit Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeitent://SD_ILS/0/SD_ILS:1999792026-03-27T22:32:25Z2026-03-27T22:32:25ZAuthor Hromkovič, Juraj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9937-8">http://dx.doi.org/10.1007/978-3-8348-9937-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic and information flowent://SD_ILS/0/SD_ILS:2198942026-03-27T22:32:25Z2026-03-27T22:32:25ZAuthor Eijck, J. van (Jan) Visser, Albert.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>