Arama Sonu&ccedil;lar&#305; Languages. - Daralt&#305;lm&#305;&#351;: Algebra. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dLanguages.$0026qf$003dSUBJECT$002509Konu$002509Algebra.$002509Algebra.$0026ps$003d300?dt=list 2024-10-15T10:28:47Z A Course in Formal Languages, Automata and Groups ent://SD_ILS/0/SD_ILS:175863 2024-10-15T10:28:47Z 2024-10-15T10:28:47Z Yazar&#160;Chiswell, Ian 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-1-84800-940-0">http://dx.doi.org/10.1007/978-1-84800-940-0</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Logic in algebraic form Three languages and theories ent://SD_ILS/0/SD_ILS:257256 2024-10-15T10:28:47Z 2024-10-15T10:28:47Z Yazar&#160;Craig, William, 1918-<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> A Course on Mathematical Logic ent://SD_ILS/0/SD_ILS:331853 2024-10-15T10:28:47Z 2024-10-15T10:28:47Z Yazar&#160;Srivastava, Shashi Mohan. author.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(331853.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4614-5746-6">http://dx.doi.org/10.1007/978-1-4614-5746-6</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Cylindric-like Algebras and Algebraic Logic ent://SD_ILS/0/SD_ILS:333922 2024-10-15T10:28:47Z 2024-10-15T10:28:47Z Yazar&#160;Andr&eacute;ka, Hajnal. editor.&#160;Ferenczi, Mikl&oacute;s. editor.&#160;N&eacute;meti, Istv&aacute;n. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(333922.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35025-2">http://dx.doi.org/10.1007/978-3-642-35025-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334580 2024-10-15T10:28:47Z 2024-10-15T10:28:47Z Yazar&#160;Cellier, Peggy. editor.&#160;Distel, Felix. editor.&#160;Ganter, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334580.1)<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38317-5">http://dx.doi.org/10.1007/978-3-642-38317-5</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Algebraic semantics of imperative programs ent://SD_ILS/0/SD_ILS:220125 2024-10-15T10:28:47Z 2024-10-15T10:28:47Z Yazar&#160;Goguen, Joseph.&#160;Malcolm, Grant.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267468</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>