Arama Sonuçları Algebraic logic.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dAlgebraic$002blogic.$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?dt=list2024-12-27T10:19:55ZCylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:3339222024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333922.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>LISP, lore and logic : an algebraic view of LISP programming, foundations, and applicationsent://SD_ILS/0/SD_ILS:707202024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Stark, W. Richard.<br/>Yer Numarası QA 76.73.L23 S72 1990<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Logic in algebraic form Three languages and theoriesent://SD_ILS/0/SD_ILS:2572562024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Craig, William, 1918-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Hartmann, Peter. author. SpringerLink (Online service)<br/>Yer Numarası XX(520344.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5207882024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520788.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-24841-2">https://doi.org/10.1007/978-3-031-24841-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212442024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521244.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-45072-3">https://doi.org/10.1007/978-3-031-45072-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213792024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.<br/>Yer Numarası XX(521379.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-50959-9">https://doi.org/10.1007/978-3-031-50959-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191372024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519137.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-48561-3">https://doi.org/10.1007/978-3-662-48561-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5192252024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519225.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47666-6">https://doi.org/10.1007/978-3-662-47666-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189492024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Yer Numarası XX(518949.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-47709-0">https://doi.org/10.1007/978-3-662-47709-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5193132024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Yer Numarası XX(519313.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-19324-3">https://doi.org/10.1007/978-3-319-19324-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design for energy and the environment proceedings of the Seventh International Conference on the Foundations of Computer-Aided Process Designent://SD_ILS/0/SD_ILS:2888232024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439809136">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebraic Theories A Categorical Introduction to General Algebraent://SD_ILS/0/SD_ILS:2390892024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Adámek, J.. Rosický, J.. Vitale, E. M.. Lawvere, F. W..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511760754">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Classical algebra its nature, origins, and usesent://SD_ILS/0/SD_ILS:2971692024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Cooke, Roger, 1942-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.contentreserve.com/TitleInfo.asp?ID={3AFAA6A9-8CD6-4D12-8E6B-41CBBD525E80}&Format=50">Click for information</a>
<a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=335766">Click here to view book</a>
<a href="http://books.eclibrary.ca/isbn/9780470259528">Access restricted to Education Centre Library use, and to students, faculty, and staff of Nipissing University.</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470277980">http://dx.doi.org/10.1002/9780470277980</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0810/2007041610-b.html">http://catdir.loc.gov/catdir/enhancements/fy0810/2007041610-b.html</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Residuated lattices an algebraic glimpse at substructural logicsent://SD_ILS/0/SD_ILS:1484792024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Galatos, Nikolaos.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=151">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444521415">http://www.sciencedirect.com/science/book/9780444521415</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Residuated lattices an algebraic glimpse at substructural logicsent://SD_ILS/0/SD_ILS:1485472024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Galatos, Nikolaos.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=151">Full text</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444521415">http://www.sciencedirect.com/science/book/9780444521415</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Physics with MAPLE the computer algebra resource for mathematical methods in physicsent://SD_ILS/0/SD_ILS:3035622024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Wang, Frank Y. Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9783527618934">http://dx.doi.org/10.1002/9783527618934</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html">http://catdir.loc.gov/catdir/enhancements/fy0801/2007465756-b.html</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=482357</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to Modern Number Theory Fundamental Problems, Ideas and Theoriesent://SD_ILS/0/SD_ILS:1815402024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-27692-0">http://dx.doi.org/10.1007/3-540-27692-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Valued Fieldsent://SD_ILS/0/SD_ILS:1822422024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/3-540-30035-X">http://dx.doi.org/10.1007/3-540-30035-X</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Coherent systemsent://SD_ILS/0/SD_ILS:2565202024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Schlechta, Karl.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444517890">http://www.sciencedirect.com/science/book/9780444517890</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rudiments of [mu]-calculusent://SD_ILS/0/SD_ILS:2565632024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Arnold, A. (André), 1945- Niwiński, Damian.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506207">http://www.sciencedirect.com/science/book/9780444506207</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cafe an industrial-strength algebraic formal methodent://SD_ILS/0/SD_ILS:2537532024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444505569">http://www.sciencedirect.com/science/book/9780444505569</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Symbolic Methods in Control System Analysis and Designent://SD_ILS/0/SD_ILS:2477092024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Munro, Neil, ed.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1049/PBCE056E">http://dx.doi.org/10.1049/PBCE056E</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theoryent://SD_ILS/0/SD_ILS:2571662024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Hailperin, Theodore.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879523">http://www.sciencedirect.com/science/book/9780444879523</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>An algebraic approach to non-classical logicsent://SD_ILS/0/SD_ILS:2572572024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Rasiowa, Helena.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422641">http://www.sciencedirect.com/science/book/9780720422641</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Ordinal algebrasent://SD_ILS/0/SD_ILS:2572072024-12-27T10:19:55Z2024-12-27T10:19:55ZYazar Tarski, Alfred.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533845">http://www.sciencedirect.com/science/book/9780444533845</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>