Search Results for Algebraic logic. - Narrowed by: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAlgebraic$002blogic.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026ps$003d300?2024-10-30T05:25:30ZCylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:3339222024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333922.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>LISP, lore and logic : an algebraic view of LISP programming, foundations, and applicationsent://SD_ILS/0/SD_ILS:707202024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Stark, W. Richard.<br/>Preferred Shelf Number QA 76.73.L23 S72 1990<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Logic in algebraic form Three languages and theoriesent://SD_ILS/0/SD_ILS:2572562024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Craig, William, 1918-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444104779">http://www.sciencedirect.com/science/book/9780444104779</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics for Computer Scientists A Practice-Oriented Approachent://SD_ILS/0/SD_ILS:5203442024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520344.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520788.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521244.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213792024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.<br/>Preferred Shelf Number XX(521379.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.<br/>Preferred Shelf Number XX(518949.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number XX(519313.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191372024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519137.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519225.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Algebraic Theories A Categorical Introduction to General Algebraent://SD_ILS/0/SD_ILS:2390892024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Adámek, J.. Rosický, J.. Vitale, E. M.. Lawvere, F. W..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511760754">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor International Conference on Foundations of Computer-Aided Process Design (7th : 2009 : Breckenridge, Colo.) El-Halwagi, Mahmoud M., 1962- Linninger, Andreas A.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439809136">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Classical algebra its nature, origins, and usesent://SD_ILS/0/SD_ILS:2971692024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Cooke, Roger, 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Residuated lattices an algebraic glimpse at substructural logicsent://SD_ILS/0/SD_ILS:1484792024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Galatos, Nikolaos.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Residuated lattices an algebraic glimpse at substructural logicsent://SD_ILS/0/SD_ILS:1485472024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Galatos, Nikolaos.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Physics with MAPLE the computer algebra resource for mathematical methods in physicsent://SD_ILS/0/SD_ILS:3035622024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Wang, Frank Y. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Valued Fieldsent://SD_ILS/0/SD_ILS:1822422024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Engler, Antonio J. author. Prestel, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Modern Number Theory Fundamental Problems, Ideas and Theoriesent://SD_ILS/0/SD_ILS:1815402024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Manin, Yuri Ivanovic. author. Panchishkin, Alexei A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Coherent systemsent://SD_ILS/0/SD_ILS:2565202024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Schlechta, Karl.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444517890">http://www.sciencedirect.com/science/book/9780444517890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rudiments of [mu]-calculusent://SD_ILS/0/SD_ILS:2565632024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Arnold, A. (André), 1945- Niwiński, Damian.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444506207">http://www.sciencedirect.com/science/book/9780444506207</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cafe an industrial-strength algebraic formal methodent://SD_ILS/0/SD_ILS:2537532024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444505569">http://www.sciencedirect.com/science/book/9780444505569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Symbolic Methods in Control System Analysis and Designent://SD_ILS/0/SD_ILS:2477092024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Munro, Neil, ed.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1049/PBCE056E">http://dx.doi.org/10.1049/PBCE056E</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Hailperin, Theodore.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444879523">http://www.sciencedirect.com/science/book/9780444879523</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An algebraic approach to non-classical logicsent://SD_ILS/0/SD_ILS:2572572024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Rasiowa, Helena.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780720422641">http://www.sciencedirect.com/science/book/9780720422641</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ordinal algebrasent://SD_ILS/0/SD_ILS:2572072024-10-30T05:25:30Z2024-10-30T05:25:30ZAuthor Tarski, Alfred.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444533845">http://www.sciencedirect.com/science/book/9780444533845</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>