Search Results for Logic.SirsiDynix Enterprisehttps://bilge.isikun.edu.tr/client/tr_TR/default/default/qu$003dLogic.$0026ps$003d300?dt=list2024-11-10T05:16:14ZLogicent://SD_ILS/0/SD_ILS:19735442024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Earle, Nick. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781349009350<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-349-00935-0">Full Text Available From Palgrave Religion & Philosophy Archive Packages</a><br/>Format: Electronic Resources<br/>Pragmatic Logicent://SD_ILS/0/SD_ILS:19582102024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ajdukiewicz, K. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401021098<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-2109-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Formal Logicent://SD_ILS/0/SD_ILS:19609942024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lorenzen, P. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401715829<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1582-9">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Quantum Logicent://SD_ILS/0/SD_ILS:19575832024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Mittelstaedt, Peter. author. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789400998711<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-9871-1">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Tense Logicent://SD_ILS/0/SD_ILS:19610242024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar McArthur, R.L. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401732192<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-3219-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Philosophical Logicent://SD_ILS/0/SD_ILS:19593342024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Davis, J.W. editor. Hockney, D.J. editor. Wilson, W.K. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401096140<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-9614-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Computational Logicent://SD_ILS/0/SD_ILS:19234312024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Berger, Ulrich. editor. Schwichtenberg, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783642586224<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-58622-4">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Practical Logicent://SD_ILS/0/SD_ILS:19565772024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ziembiński, Zygmunt. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401756044<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-5604-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical logicent://SD_ILS/0/SD_ILS:20046902024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ebbinghaus, Heinz-Dieter. Flum, Jörg. Thomas, Wolfgang, 1947-<br/>Yer Numarası QA9 .E22 1994<br/>ISBN 9780387942582 9783540942580<br/>Format: Books<br/>Strategic Logicent://SD_ILS/0/SD_ILS:19700892024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Jarillo, J. author. SpringerLink (Online service)<br/>Yer Numarası HD30.28<br/>ISBN 9780230598140<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1057/9780230598140">Full Text Available From Palgrave Business & Management Archive Packages</a><br/>Format: Electronic Resources<br/>Psycho-Logicent://SD_ILS/0/SD_ILS:19620042024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Smedslund, Jan. author. SpringerLink (Online service)<br/>Yer Numarası RC466.8 -467.97<br/>ISBN 9783642731211<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-73121-1">Full Text Available From Springer Nature Behavioral Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Grammarsent://SD_ILS/0/SD_ILS:19220992024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Abramson, Harvey. author. Dahl, Veronica. author. (orcid)0000-0002-1159-1374 SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9781461236405<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-3640-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Temporal Logicent://SD_ILS/0/SD_ILS:19586032024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Rescher, Nicholas. author. Urquhart, Alasdair. author. SpringerLink (Online service)<br/>Yer Numarası H1 -99<br/>ISBN 9783709176641<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7091-7664-1">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logicent://SD_ILS/0/SD_ILS:19373442024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Monk, J.D. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781468494525<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-9452-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logicent://SD_ILS/0/SD_ILS:18947132024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ebbinghaus, Heinz-Dieter. author. Flum, Jörg. author. Thomas, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783030738396<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-73839-6">Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logicent://SD_ILS/0/SD_ILS:19340382024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ebbinghaus, H.-D. author. Flum, J. author. Thomas, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475723557<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-2355-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Countsent://SD_ILS/0/SD_ILS:19585972024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Zarnecka-Bialy, E. editor. SpringerLink (Online service)<br/>Yer Numarası B1 -5802<br/>ISBN 9789400906877<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-0687-7">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Philosophical Logicent://SD_ILS/0/SD_ILS:19611212024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Arrington, Robert L. author. Burkholder, Peter M. author. Dubose, Shannon. author. Dye, James W. author. Feibleman, James K. author.<br/>Yer Numarası B1 -5802<br/>ISBN 9789401034975<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-3497-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logicent://SD_ILS/0/SD_ILS:19325322024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Petkov, Petio P. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461306092<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-0609-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Philosophical logicent://SD_ILS/0/SD_ILS:20178232024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Strawson, P. F., editor.<br/>Yer Numarası BC6 .P45 1967<br/>Format: Books<br/>Algebra and Logicent://SD_ILS/0/SD_ILS:19848062024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ershov, Yuri L. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)<br/>Yer Numarası XX(1984806.1)<br/>ISSN 15738302<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/10469.1573-8302">Full Text Available From SpringerLink Journals</a><br/>Format: Electronic Resources<br/>Displaying Modal Logicent://SD_ILS/0/SD_ILS:19376362024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Wansing, Heinrich. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401712804<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1280-4">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Defeasible Deontic Logicent://SD_ILS/0/SD_ILS:19609882024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nute, Donald. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401588515<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8851-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Dynamic Epistemic Logicent://SD_ILS/0/SD_ILS:18471902024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar van Ditmarsch, Hans. author. van der Hoek, Wiebe. author. Kooi, Barteld. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781402058394<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-5839-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2008 Packages</a><br/>Format: Electronic Resources<br/>Logic of Computationent://SD_ILS/0/SD_ILS:19236342024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Schwichtenberg, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783642590481<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-59048-1">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic of computationent://SD_ILS/0/SD_ILS:20047362024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Schwichtenberg, Helmut. NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany)<br/>Yer Numarası QA75.5 .L63 1997<br/>ISBN 9783540629634<br/>Format: Books<br/>Logic for applicationsent://SD_ILS/0/SD_ILS:20051512024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nerode, Anil. Shore, Richard A., 1946-<br/>Yer Numarası QA76.9.M35 N47 1997<br/>ISBN 9780387948935<br/>Format: Books<br/>Mathematics and logicent://SD_ILS/0/SD_ILS:20051702024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Kac, Mark. Ulam, Stanislaw M.<br/>Yer Numarası QA93 .K24 1992<br/>ISBN 9780486670850<br/>Elektronik Erişim <a href="http://www.loc.gov/catdir/description/dover032/91040429.html">Publisher description</a><br/>Format: Books<br/>Introduction to logic.ent://SD_ILS/0/SD_ILS:20029142024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Copi, Irving M.<br/>Yer Numarası BC108 .C69 1957<br/>Format: Books<br/>Logic in Realityent://SD_ILS/0/SD_ILS:18472902024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar BRENNER, JOSEPH. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781402083754<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-8375-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2008 Packages</a><br/>Format: Electronic Resources<br/>Electronic logic circuitsent://SD_ILS/0/SD_ILS:54632024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gibson, J. R.<br/>Yer Numarası TK7868.L6 G52 1983<br/>ISBN 9780713134919<br/>Format: Books<br/>Introduction to logicent://SD_ILS/0/SD_ILS:20029132024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Copi, Irving M. Cohen, Carl, 1931-<br/>Yer Numarası BC108 .C69 1998<br/>ISBN 9780132425872 9780130102027<br/>Format: Books<br/>Logic and Ethicsent://SD_ILS/0/SD_ILS:19606992024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Geach, Peter. editor. Holówka, Jacek. editor. SpringerLink (Online service)<br/>Yer Numarası BJ1 -1725<br/>ISBN 9789401133524<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-3352-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Logic for Applicationsent://SD_ILS/0/SD_ILS:19274322024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nerode, Anil. author. Shore, Richard A. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>ISBN 9781461206491<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-0649-1">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic of Domainsent://SD_ILS/0/SD_ILS:19225992024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Zhang, G. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .M35<br/>ISBN 9781461204459<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4612-0445-9">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Complexityent://SD_ILS/0/SD_ILS:19222982024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lassaigne, Richard. author. Rougemont, Michel de. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .M35<br/>ISBN 9780857293923<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-85729-392-3">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Equational Logicent://SD_ILS/0/SD_ILS:18151862024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Belohlávek, Radim. author. Vychodil, Vilem. author. SpringerLink (Online service)<br/>Yer Numarası TA329 -348<br/>ISBN 9783540324065<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b105121">Full Text Available From Springer Nature Engineering 2005 Packages</a><br/>Format: Electronic Resources<br/>Logic for Applicationsent://SD_ILS/0/SD_ILS:19247172024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nerode, Anil. author. Shore, Richard A. author. SpringerLink (Online service)<br/>Yer Numarası TK7885 -7895<br/>ISBN 9781468402117<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-0211-7">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Sequential Logic Synthesisent://SD_ILS/0/SD_ILS:19209412024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ashar, Pranav. author. Devadas, S. author. Newton, A. Richard. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9781461536284<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-3628-4">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Structureent://SD_ILS/0/SD_ILS:18906012024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar van Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781447145585<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-4558-5">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>Logic and Structureent://SD_ILS/0/SD_ILS:19331992024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar van Dalen, Dirk. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540851080<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-85108-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Structureent://SD_ILS/0/SD_ILS:19351032024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Dalen, Dirk van. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662023822<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-02382-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Structureent://SD_ILS/0/SD_ILS:19318462024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Dalen, Dirk van. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662084021<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-08402-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>First-Order Logicent://SD_ILS/0/SD_ILS:19362842024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Smullyan, Raymond R. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642867187<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-86718-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Structureent://SD_ILS/0/SD_ILS:19360082024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Dalen, Dirk van. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662029626<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-02962-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Computer logic designent://SD_ILS/0/SD_ILS:54702024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Mano, M. Morris, 1927-<br/>Yer Numarası TK7868.S9 M275 1972<br/>ISBN 9780131654723<br/>Format: Books<br/>Contemporary logic designent://SD_ILS/0/SD_ILS:124832024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Katz, Randy H., 1955-<br/>Yer Numarası TK7888.4 .K36 1994<br/>ISBN 9780805327038<br/>Format: Books<br/>Asynchronous Pulse Logicent://SD_ILS/0/SD_ILS:19198912024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nystrom, Mika M. author. Martin, Alain. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9780306475146<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b117243">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Advanced Logic Synthesisent://SD_ILS/0/SD_ILS:18117282024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9783319672953<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-67295-3">Full Text Available From Springer Nature Engineering 2018 Packages</a><br/>Format: Electronic Resources<br/>Stochastic Coalgebraic Logicent://SD_ILS/0/SD_ILS:18801962024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Doberkat, Ernst-Erich. author. SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>ISBN 9783642029950<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-02995-0">Full Text Available From Springer Nature Computer Science 2009 Packages</a><br/>Format: Electronic Resources<br/>Initiatives in Logicent://SD_ILS/0/SD_ILS:19606282024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Srzednicki, Jan J.T. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400936737<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-3673-7">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Multi-Dimensional Modal Logicent://SD_ILS/0/SD_ILS:19368062024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Marx, Maarten. author. Venema, Yde. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401156943<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5694-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Archive for Mathematical Logicent://SD_ILS/0/SD_ILS:19850422024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Schindler, Ralf. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)<br/>Yer Numarası XX(1985042.1)<br/>ISSN 14320665<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/153.1432-0665">Full Text Available From SpringerLink Journals</a><br/>Format: Electronic Resources<br/>Logic, Language and Computationent://SD_ILS/0/SD_ILS:19355552024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Akama, S. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401156387<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5638-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Journal of Philosophical Logicent://SD_ILS/0/SD_ILS:19857772024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Iemhoff, Rosalie. editor. Icard, Thomas. editor. Muskens, Reinhard. editor. Wehmeier, Kai F. editor. Ciardelli, Ivano. editor.<br/>Yer Numarası XX(1985777.1)<br/>ISSN 15730433<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/10992.1573-0433">Full Text Available From SpringerLink Journals</a><br/>Format: Electronic Resources<br/>Advances in Temporal Logicent://SD_ILS/0/SD_ILS:19357872024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Barringer, Howard. editor. Fisher, Michael. editor. Gabbay, Dov M. editor. Gough, Graham. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401595865<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-9586-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Advances in Intensional Logicent://SD_ILS/0/SD_ILS:19352112024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar de Rijke, Maarten. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401588799<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8879-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:19585942024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401704588<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0458-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:19586862024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401704601<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0460-1">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:19588682024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401704564<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0456-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:19594822024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401704526<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0452-6">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:19610982024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401704540<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0454-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:19599862024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401704663<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0466-3">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:19585772024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401704649<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0464-9">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:19610922024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401704625<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0462-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logicent://SD_ILS/0/SD_ILS:19600692024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401598330<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-9833-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Metamathematics of Fuzzy Logicent://SD_ILS/0/SD_ILS:19357932024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hájek, Petr. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401153003<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5300-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Paraconsistency: Logic and Applicationsent://SD_ILS/0/SD_ILS:18489202024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400744387<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-4438-7">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2013 Packages</a><br/>Format: Electronic Resources<br/>Logic, Thought and Actionent://SD_ILS/0/SD_ILS:18466422024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Vanderveken, Daniel. editor. SpringerLink (Online service)<br/>Yer Numarası H1 -970.9<br/>ISBN 9781402031670<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-4020-3167-X">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2005 Packages</a><br/>Format: Electronic Resources<br/>First-Order Modal Logicent://SD_ILS/0/SD_ILS:19574982024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Fitting, M. author. Mendelsohn, Richard L. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401152921<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5292-1">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Topics in Philosophical Logicent://SD_ILS/0/SD_ILS:19610212024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Rescher, N. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401735469<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-3546-9">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Logic, Reasoning, and Rationalityent://SD_ILS/0/SD_ILS:18502562024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Weber, Erik. editor. Wouters, Dietlinde. editor. Meheus, Joke. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401790116<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-9011-6">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2014 Packages</a><br/>Format: Electronic Resources<br/>Philosophical Logic in Polandent://SD_ILS/0/SD_ILS:19373342024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Wolenski, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401582735<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8273-5">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Advanced Logic for Applicationsent://SD_ILS/0/SD_ILS:19567242024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Grandy, R.E. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401011914<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-1191-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Aspects of Modern Logicent://SD_ILS/0/SD_ILS:19610272024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Beth, E.W. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401033329<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-3332-9">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>The Logic of Mindent://SD_ILS/0/SD_ILS:19568312024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nelson, R.J. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400925953<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-2595-3">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Proof Theory of Modal Logicent://SD_ILS/0/SD_ILS:19368662024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401727983<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-2798-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>First order mathematical logicent://SD_ILS/0/SD_ILS:20046942024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Margaris, Angelo.<br/>Yer Numarası QA9 .M32 1990<br/>ISBN 9780486662695<br/>Elektronik Erişim <a href="http://www.loc.gov/catdir/description/dover032/89029569.html">Publisher description</a>
<a href="http://www.loc.gov/catdir/toc/dover031/89029569.html">Table of contents</a><br/>Format: Books<br/>Design of logic systemsent://SD_ILS/0/SD_ILS:54692024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lewin, Douglas.<br/>Yer Numarası TK7868.S9 L397 1985<br/>ISBN 9780442306069<br/>Format: Books<br/>Directions in Relevant Logicent://SD_ILS/0/SD_ILS:19589112024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Norman, J. editor. Sylvan, R. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400910058<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-1005-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:19371262024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hermes, Hans. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642871320<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-87132-0">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>The elements of logicent://SD_ILS/0/SD_ILS:197802024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Barker, Stephen Francis.<br/>Yer Numarası BC108 .B25 1980<br/>ISBN 9780070037205<br/>Format: Books<br/>Modal Logic with Descriptionsent://SD_ILS/0/SD_ILS:19576992024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Rusza, Imre. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401722940<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-2294-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Topics in Conditional Logicent://SD_ILS/0/SD_ILS:19567302024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nute, Donald. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400989665<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-8966-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Logic: a Brief Courseent://SD_ILS/0/SD_ILS:18901882024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Mundici, Daniele. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9788847023611<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-88-470-2361-1">Full Text Available From Springer Nature Mathematics and Statistics 2012 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic in Managementent://SD_ILS/0/SD_ILS:19312442024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Carlsson, Christer. author. Fedrizzi, Mario. author. Fuller, Robert. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781441989772<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4419-8977-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to logic designent://SD_ILS/0/SD_ILS:54582024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Shiva, Sajjan G.<br/>Yer Numarası TK7868.D5 S433 1998<br/>ISBN 9780824700829<br/>Elektronik Erişim <a href="http://www.loc.gov/catdir/enhancements/fy0647/97046945-d.html">Publisher description</a><br/>Format: Books<br/>Digital Logic for Computingent://SD_ILS/0/SD_ILS:18835812024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Seiffertt, John. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .C62<br/>ISBN 9783319568393<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-56839-3">Full Text Available From Springer Nature Computer Science 2017 Packages</a><br/>Format: Electronic Resources<br/>Logic and integer programmingent://SD_ILS/0/SD_ILS:217882024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Williams, H. P.<br/>Yer Numarası QA76.6 .W55 2009<br/>ISBN 9780387922805 9780387922799<br/>Format: Books<br/>Formal and transcendental logicent://SD_ILS/0/SD_ILS:19597252024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Husserl, Edmund. author. SpringerLink (Online service)<br/>Yer Numarası B829.5 .A-Z<br/>ISBN 9789401749008<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-4900-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Formal and Transcendental Logicent://SD_ILS/0/SD_ILS:19577492024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Husserl, Edmund. author. SpringerLink (Online service)<br/>Yer Numarası B829.5 .A-Z<br/>ISBN 9789401011112<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-1111-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Logic-Based Artificial Intelligenceent://SD_ILS/0/SD_ILS:19185682024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Minker, Jack. editor. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9781461515678<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-1567-8">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logic for Computer Scientistsent://SD_ILS/0/SD_ILS:18884552024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Schöning, Uwe. author. SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>ISBN 9780817647636<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-8176-4763-6">Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages</a><br/>Format: Electronic Resources<br/>Temporal Logic of Programsent://SD_ILS/0/SD_ILS:19259012024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Kröger, Fred. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783642715495<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-71549-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Studies in Legal Logicent://SD_ILS/0/SD_ILS:18466662024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hage, Jaap. author. SpringerLink (Online service)<br/>Yer Numarası K201 -487<br/>ISBN 9781402035524<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-4020-3552-7">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2005 Packages</a><br/>Format: Electronic Resources<br/>Logic Programming and Databasesent://SD_ILS/0/SD_ILS:19277692024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ceri, Stefano. author. Gottlob, Georg. author. Tanca, Letizia. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .D3<br/>ISBN 9783642839528<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-83952-8">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>First-Order Dynamic Logicent://SD_ILS/0/SD_ILS:19275752024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Harel, D. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783540353461<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-09237-4">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Quantum Probability - Quantum Logicent://SD_ILS/0/SD_ILS:19463552024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Pitowsky, Itamar. author. SpringerLink (Online service)<br/>Yer Numarası QC173.96 -174.52<br/>ISBN 9783540460701<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0021186">Full Text Available From Springer Nature Physics and Astronomy Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:18791042024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Bramer, Max. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>ISBN 9781846282126<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-84628-212-8">Full Text Available From Springer Nature Computer Science 2005 Packages</a><br/>Format: Electronic Resources<br/>Logic and Data Basesent://SD_ILS/0/SD_ILS:19259452024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gallaire, Hervé. author. Minker, Jack. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .D35<br/>ISBN 9781468433845<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4684-3384-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Programming with Prologent://SD_ILS/0/SD_ILS:18815142024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Bramer, Max. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>ISBN 9781447154877<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-5487-7">Full Text Available From Springer Nature Computer Science 2013 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic in Medicineent://SD_ILS/0/SD_ILS:19180342024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Barro, Senen. editor. Marin, Roque. editor. SpringerLink (Online service)<br/>Yer Numarası R858 -859.7<br/>ISBN 9783790818048<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7908-1804-8">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Architecture Synthesisent://SD_ILS/0/SD_ILS:19232672024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Saucier, Gabriele. editor. Mignotte, Anne. editor. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9780387349206<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-34920-6">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to Fuzzy Logicent://SD_ILS/0/SD_ILS:19899612024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Peckol, James K. Wiley Online Library Wiley Online Library e-Books<br/>Yer Numarası XX(1989961.1)<br/>ISBN 9781119772644<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1002/9781119772644">Full Text Available From Wiley Online Library e-Books</a><br/>Format: Electronic Resources<br/>Grammar, Philosophy, and Logicent://SD_ILS/0/SD_ILS:18710162024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Silver, Bruce. author. SpringerLink (Online service)<br/>Yer Numarası P1 -1091<br/>ISBN 9783319662572<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-66257-2">Full Text Available From Springer Nature Social Sciences 2018 Packages</a><br/>Format: Electronic Resources<br/>Learning Language in Logicent://SD_ILS/0/SD_ILS:19269842024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Cussens, James. editor. Dzeroski, Saso. editor. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783540400301<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-40030-3">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:19597372024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Mendelsohn, Elliot. author. SpringerLink (Online service)<br/>Yer Numarası H1 -99<br/>ISBN 9781461572886<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-7288-6">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Memory-Based Logic Synthesisent://SD_ILS/0/SD_ILS:18178822024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Sasao, Tsutomu. author. SpringerLink (Online service)<br/>Yer Numarası HD9502 -9502.5<br/>ISBN 9781441981042<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4419-8104-2">Full Text Available From Springer Nature Engineering 2011 Packages</a><br/>Format: Electronic Resources<br/>Applications of Logic Databasesent://SD_ILS/0/SD_ILS:19206512024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ramakrishnan, Raghu. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .D35<br/>ISBN 9781461522072<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-2207-2">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Synthesis Using Synopsys®ent://SD_ILS/0/SD_ILS:19215882024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Kurup, Pran. author. Abbasi, Taher. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9781475723700<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-2370-0">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Computation Theory and Logicent://SD_ILS/0/SD_ILS:19250982024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Börger, Egon. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783540477952<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-18170-9">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Synthesis Using Synopsys®ent://SD_ILS/0/SD_ILS:19202862024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Kurup, Pran. author. Abbasi, Taher. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9781461314554<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-1455-4">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Synthesis and Optimizationent://SD_ILS/0/SD_ILS:19185762024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Sasao, Tsutomu. editor. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9781461531548<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-3154-8">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Synthesis and Verificationent://SD_ILS/0/SD_ILS:19185132024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hassoun, Soha. editor. Sasao, Tsutomu. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9781461508175<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-0817-5">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Closure Spaces and Logicent://SD_ILS/0/SD_ILS:19329042024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Martin, N.M. author. Pollard, S. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475725063<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-2506-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Systems of Formal Logicent://SD_ILS/0/SD_ILS:19595332024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hackstaff, L.H. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401035477<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-3547-7">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Sets, Logic and Categoriesent://SD_ILS/0/SD_ILS:19341782024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Cameron, Peter J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781447105893<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-0589-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Situations, Language and Logicent://SD_ILS/0/SD_ILS:19598462024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Fenstad, J.E. editor. Halvorsen, Per-Kristian. editor. Langholm, Tore. editor. van Benthem, Johan. editor. SpringerLink (Online service)<br/>Yer Numarası P1 -1091<br/>ISBN 9789400913356<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-1335-6">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Philosophical and Mathematical Logicent://SD_ILS/0/SD_ILS:18684262024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar de Swart, Harrie. author. SpringerLink (Online service)<br/>Yer Numarası BD143 -237<br/>ISBN 9783030032555<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-03255-5">Full Text Available From Springer Nature Religion and Philosophy 2018 Packages</a><br/>Format: Electronic Resources<br/>Logic, algebra, and databasesent://SD_ILS/0/SD_ILS:20051082024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gray, Peter M. D.<br/>Yer Numarası QA76.9.D3 G722 1984<br/>ISBN 9780853128038 9780470201039<br/>Format: Books<br/>Logic and Integer Programmingent://SD_ILS/0/SD_ILS:18799362024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Williams, H. Paul. author. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>ISBN 9780387922805<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-92280-5">Full Text Available From Springer Nature Computer Science 2009 Packages</a><br/>Format: Electronic Resources<br/>Reasoning with Logic Programmingent://SD_ILS/0/SD_ILS:19277072024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Alferes, Jose Julio. author. Moniz Pereira, Luis. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .S88<br/>ISBN 9783540686743<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-61488-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>CMOS Logic Circuit Designent://SD_ILS/0/SD_ILS:19198952024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Uyemura, John P. author. SpringerLink (Online service)<br/>Yer Numarası TK7800 -8360<br/>ISBN 9780306475290<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b117409">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Probabilistic Inductive Logic Programmingent://SD_ILS/0/SD_ILS:18399662024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar De Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen H. editor. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783540786528<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-78652-8">Full Text Available From Springer Nature Computer Science 2008 Packages</a><br/>Format: Electronic Resources<br/>Logic, God and Metaphysicsent://SD_ILS/0/SD_ILS:19587352024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Harris, James Franklin. editor. SpringerLink (Online service)<br/>Yer Numarası BL51<br/>ISBN 9789401126700<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-2670-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Foundations of Logic Programmingent://SD_ILS/0/SD_ILS:19267412024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lloyd, John W. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783642831898<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-83189-8">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Foundations of Logic Programmingent://SD_ILS/0/SD_ILS:19266372024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lloyd, J. W. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783642968266<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-96826-6">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Language, Logic and Methodent://SD_ILS/0/SD_ILS:19606192024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Cohen, Robert S. editor. Wartofsky, Marx W. editor. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789400977020<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-7702-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Design of Logic Systemsent://SD_ILS/0/SD_ILS:19274282024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar DOUGLAS LEWIN, DAVID PROTHEROE. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9781489968562<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4899-6856-2">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>The Logic of Abelardent://SD_ILS/0/SD_ILS:19575292024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Beonio-Brocchieri Fumagalli, M.T. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401033848<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-3384-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Neighborhood Semantics for Modal Logicent://SD_ILS/0/SD_ILS:18681052024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Pacuit, Eric. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319671499<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-67149-9">Full Text Available From Springer Nature Religion and Philosophy 2017 Packages</a><br/>Format: Electronic Resources<br/>Recent Trends in Philosophical Logicent://SD_ILS/0/SD_ILS:18912602024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ciuni, Roberto. editor. Wansing, Heinrich. editor. Willkommen, Caroline. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319060804<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-06080-4">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>Logic for Concurrency and Synchronisationent://SD_ILS/0/SD_ILS:19374542024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar De Queiroz, R.J. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780306480881<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/0-306-48088-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Digital logic system design handbookent://SD_ILS/0/SD_ILS:55882024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Digital Equipment Corporation. Logic Products Group.<br/>Yer Numarası TK7888.4 .D523 1972<br/>Format: Books<br/>A Precis of Mathematical Logicent://SD_ILS/0/SD_ILS:19586942024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Bochenski, J.M. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401705929<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-0592-9">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Philosophical Logic and Logical Philosophyent://SD_ILS/0/SD_ILS:19587902024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Bystrov, P.I. editor. Sadovsky, V. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401586788<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8678-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Hybrid Logic and its Proof-Theoryent://SD_ILS/0/SD_ILS:18897142024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Braüner, Torben. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400700024<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-0002-4">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Rigid Flexibility The Logic of Intelligenceent://SD_ILS/0/SD_ILS:18793012024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Wang, Pei. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9781402050459<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-4020-5045-3">Full Text Available From Springer Nature Computer Science 2006 Packages</a><br/>Format: Electronic Resources<br/>Logic and Algebra of Specificationent://SD_ILS/0/SD_ILS:19238502024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Bauer, Friedrich L. editor. Brauer, Wilfried. editor. Schwichtenberg, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783642580413<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-58041-3">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Krister Segerberg on Logic of Actionsent://SD_ILS/0/SD_ILS:18500742024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Trypuz, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400770461<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-7046-1">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2014 Packages</a><br/>Format: Electronic Resources<br/>Proof Theory and Algebra in Logicent://SD_ILS/0/SD_ILS:18685862024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ono, Hiroakira. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789811379970<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-7997-0">Full Text Available From Springer Nature Religion and Philosophy 2019 Packages</a><br/>Format: Electronic Resources<br/>Petr Hájek on Mathematical Fuzzy Logicent://SD_ILS/0/SD_ILS:18914552024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Montagna, Franco. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319062334<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-06233-4">Full Text Available From Springer Nature Mathematics and Statistics 2015 Packages</a><br/>Format: Electronic Resources<br/>Hilary Putnam on Logic and Mathematicsent://SD_ILS/0/SD_ILS:18930122024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hellman, Geoffrey. editor. Cook, Roy T. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319962740<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-96274-0">Full Text Available From Springer Nature Mathematics and Statistics 2018 Packages</a><br/>Format: Electronic Resources<br/>Feferman on Foundations Logic, Mathematics, Philosophyent://SD_ILS/0/SD_ILS:18925362024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Jäger, Gerhard. editor. Sieg, Wilfried. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319633343<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-63334-3">Full Text Available From Springer Nature Mathematics and Statistics 2017 Packages</a><br/>Format: Electronic Resources<br/>Language, Logic, and Mathematics in Schopenhauerent://SD_ILS/0/SD_ILS:18942252024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lemanski, Jens. editor. SpringerLink (Online service)<br/>Yer Numarası QA21 -27<br/>ISBN 9783030330903<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-33090-3">Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 13ent://SD_ILS/0/SD_ILS:18466642024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, D.M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası B1 -5802<br/>ISBN 9781402035210<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-4020-3521-7">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2005 Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 8ent://SD_ILS/0/SD_ILS:19588252024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401003872<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-0387-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 15ent://SD_ILS/0/SD_ILS:18480352024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400704855<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-0485-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2011 Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 16ent://SD_ILS/0/SD_ILS:18482132024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400704794<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-0479-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2011 Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 12ent://SD_ILS/0/SD_ILS:18466392024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, D.M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781402030925<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-4020-3092-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2005 Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 17ent://SD_ILS/0/SD_ILS:18499342024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400766006<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-6600-6">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2014 Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 10ent://SD_ILS/0/SD_ILS:19594662024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401745246<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-4524-6">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 18ent://SD_ILS/0/SD_ILS:18684182024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319977553<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-97755-3">Full Text Available From Springer Nature Religion and Philosophy 2018 Packages</a><br/>Format: Electronic Resources<br/>Handbook of Philosophical Logic Volume 14ent://SD_ILS/0/SD_ILS:18882512024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9781402063244<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-6324-4">Full Text Available From Springer Nature Mathematics and Statistics 2007 Packages</a><br/>Format: Electronic Resources<br/>Probabilistic Logic in a Coherent Settingent://SD_ILS/0/SD_ILS:19374762024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Coletti, Giulianella. author. Scozzafava, R. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401004749<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-0474-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Gentzen Calculi for Modal Propositional Logicent://SD_ILS/0/SD_ILS:18897712024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Poggiolesi, Francesca. author. SpringerLink (Online service)<br/>Yer Numarası B1 -5802<br/>ISBN 9789048196708<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-90-481-9670-8">Full Text Available From Springer Nature Mathematics and Statistics 2011 Packages</a><br/>Format: Electronic Resources<br/>Logic, Everyday Discourse, and Metaphysicsent://SD_ILS/0/SD_ILS:18693602024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Rigamonti, Gianni. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030745981<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-74598-1">Full Text Available From Springer Nature Religion and Philosophy 2021 Packages</a><br/>Format: Electronic Resources<br/>Self-Reference and Modal Logicent://SD_ILS/0/SD_ILS:19317842024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Smorynski, Craig. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461386018<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-8601-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to logic : propositional logicent://SD_ILS/0/SD_ILS:20029092024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Pospesel, Howard, 1937- Lycan, William G.<br/>Yer Numarası BC181 .P64 1998<br/>ISBN 9780131649972<br/>Format: Books<br/>Logic circuits and microcomputer systemsent://SD_ILS/0/SD_ILS:55862024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Wiatrowski, Claude A. House, Charles H., joint author.<br/>Yer Numarası TK7888.3.L6 W5 1980<br/>ISBN 9780070700901<br/>Format: Books<br/>Mathematical Principles of Fuzzy Logicent://SD_ILS/0/SD_ILS:19180432024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Novák, Vilém. author. Perfilieva, Irina. author. Mockor, J. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461552178<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-5217-8">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>The Logic of Social Practicesent://SD_ILS/0/SD_ILS:18688442024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Giovagnoli, Raffaela. editor. Lowe, Robert. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030373054<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-37305-4">Full Text Available From Springer Nature Religion and Philosophy 2020 Packages</a><br/>Format: Electronic Resources<br/>Temporal Modalities in Arabic Logicent://SD_ILS/0/SD_ILS:19598642024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Rescher, N. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401035231<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-3523-1">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Kotarbiński: Logic, Semantics and Ontologyent://SD_ILS/0/SD_ILS:19594912024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Wolenski, Jan. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400920972<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-2097-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Pluralisms in Truth and Logicent://SD_ILS/0/SD_ILS:18684332024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Wyatt, Jeremy. editor. Pedersen, Nikolaj J. L. L. editor. Kellen, Nathan. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319983462<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-98346-2">Full Text Available From Springer Nature Religion and Philosophy 2018 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic and Soft Computingent://SD_ILS/0/SD_ILS:19227902024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Guoqing Chen. editor. Mingsheng Ying. editor. Kai-Yuan Cai. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461552611<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-5261-1">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Foundations: Logic, Language, and Mathematicsent://SD_ILS/0/SD_ILS:19588492024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Leblanc, Hugues. editor. Mendelson, Elliott. editor. Orenstein, A. editor. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789401715928<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1592-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>The Logic of Information Structuresent://SD_ILS/0/SD_ILS:19278202024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Wansing, Heinrich. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783540476429<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-56734-8">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>New Waves in Philosophical Logicent://SD_ILS/0/SD_ILS:19729442024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Restall, G. editor. Russell, G. editor. SpringerLink (Online service)<br/>Yer Numarası QA8 -10.4<br/>ISBN 9781137003720<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1057/9781137003720">Full Text Available From Palgrave Religion & Philosophy 2012 Packages</a><br/>Format: Electronic Resources<br/>Elementary Logic For Software Developmentent://SD_ILS/0/SD_ILS:18797092024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lover, Robert. author. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>ISBN 9781848000827<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-84800-082-7">Full Text Available From Springer Nature Computer Science 2008 Packages</a><br/>Format: Electronic Resources<br/>Temporal Logic and State Systemsent://SD_ILS/0/SD_ILS:18798152024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>ISBN 9783540686354<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-68635-4">Full Text Available From Springer Nature Computer Science 2008 Packages</a><br/>Format: Electronic Resources<br/>Termination Proofs for Logic Programsent://SD_ILS/0/SD_ILS:19234612024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Plümer, Lutz. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783540471639<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-52837-7">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic, Language, Information, and Computationent://SD_ILS/0/SD_ILS:18419282024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ong, Luke. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .A43<br/>ISBN 9783642326219<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-32621-9">Full Text Available From Springer Nature Computer Science 2012 Packages</a><br/>Format: Electronic Resources<br/>The logic of American politicsent://SD_ILS/0/SD_ILS:3918812024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Jacobson, Gary C. Kousser, Thad, 1974- Vavreck, Lynn, 1968- Kernell, Samuel.<br/>Yer Numarası JK276 .L64 2016<br/>ISBN 9781483319841<br/>Format: Books<br/>The logic of American politicsent://SD_ILS/0/SD_ILS:353512024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Jacobson, Gary C. Kousser, Thad, 1974- Vavreck, Lynn, 1968- Kernell, Samuel.<br/>Yer Numarası JK276 .L64 2014<br/>ISBN 9781452276496<br/>Format: Books<br/>The logic of international restructuringent://SD_ILS/0/SD_ILS:76142024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ruigrok, W. (Winfried) Tulder, Rob van.<br/>Yer Numarası HD62.4 .R85 1995<br/>ISBN 9780415122382 9780415122399<br/>Elektronik Erişim <a href="http://www.loc.gov/catdir/enhancements/fy0649/95020711-d.html">Publisher description</a><br/>Format: Books<br/>Term Logic with Choice Operatorent://SD_ILS/0/SD_ILS:19334362024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hermes, Hans. author. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9783540362036<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-36203-6">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>The social logic of spaceent://SD_ILS/0/SD_ILS:19925462024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hillier, Bill, author. Hanson, Julienne, author. Cambridge Core eBooks Cambridge Core<br/>Yer Numarası NA2765 .H56 1984<br/>ISBN 9780511597237<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1017/CBO9780511597237">Full Text Available From Cambridge Core e-Books</a><br/>Format: Electronic Resources<br/>Fuzzy Logic with Engineering Applicationsent://SD_ILS/0/SD_ILS:19899572024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ross, Timothy J. Wiley Online Library Wiley Online Library e-Books<br/>Yer Numarası XX(1989957.1)<br/>ISBN 9781119994374<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1002/9781119994374">Full Text Available From Wiley Online Library e-Books</a><br/>Format: Electronic Resources<br/>Multiprocessor Execution of Logic Programsent://SD_ILS/0/SD_ILS:19246802024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gupta, Gopal. author. SpringerLink (Online service)<br/>Yer Numarası TK7895 .M5<br/>ISBN 9781461527787<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-2778-7">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Implementations of Logic Programming Systemsent://SD_ILS/0/SD_ILS:19256652024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Tick, Evan. editor. Succi, Giancarlo. editor. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>ISBN 9781461526902<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-2690-2">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Programming A Classified Bibliographyent://SD_ILS/0/SD_ILS:19268372024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Balbin, I. editor. Lecot, K. editor. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9789400950443<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-5044-3">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>An Introduction to Default Logicent://SD_ILS/0/SD_ILS:19268602024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Besnard, Philippe. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783662056899<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-05689-9">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Foundations of Equational Logic Programmingent://SD_ILS/0/SD_ILS:19267822024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hölldobler, Steffen. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783540482260<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0015791">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Design of Reconfigurable Logic Controllersent://SD_ILS/0/SD_ILS:18091822024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Karatkevich, Andrei. editor. Bukowiec, Arkadiusz. editor. Doligalski, Michał. editor. Tkacz, Jacek. editor. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9783319267258<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-26725-8">Full Text Available From Springer Nature Engineering 2016 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic and the Internetent://SD_ILS/0/SD_ILS:19203682024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nikravesh, Masoud. editor. Zadeh, Lofti A. editor. SpringerLink (Online service)<br/>Yer Numarası TA329 -348<br/>ISBN 9783540399889<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-39988-9">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Quantum Logic in Algebraic Approachent://SD_ILS/0/SD_ILS:19523082024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Rédei, Miklós. author. SpringerLink (Online service)<br/>Yer Numarası QC19.2 -20.85<br/>ISBN 9789401590266<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-9026-6">Full Text Available From Springer Nature Physics and Astronomy Archive Packages</a><br/>Format: Electronic Resources<br/>Scientific Discovery, Logic, and Rationalityent://SD_ILS/0/SD_ILS:19566922024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nickles, Thomas. editor. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789400989863<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-8986-3">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Synthesis for Control Automataent://SD_ILS/0/SD_ILS:19204352024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Baranov, Samary. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9781461526926<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-2692-6">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Sequential Logic Testing and Verificationent://SD_ILS/0/SD_ILS:19186152024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ghosh, Abhijit. author. Devadas, Srinivas. author. Newton, A. Richard. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9781461536468<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-3646-8">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Switching Theory for Logic Synthesisent://SD_ILS/0/SD_ILS:19267182024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Sasao, Tsutomu. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9781461551393<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-5139-3">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>A Course in Mathematical Logicent://SD_ILS/0/SD_ILS:19373052024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Manin, Yu.I. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475743852<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-4385-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:18884142024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780387762777<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-0-387-76277-7">Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages</a><br/>Format: Electronic Resources<br/>In Defense of Informal Logicent://SD_ILS/0/SD_ILS:19582922024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Levi, D.S. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401718509<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-1850-9">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Philosophical Logic and Artificial Intelligenceent://SD_ILS/0/SD_ILS:19602752024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Thomason, Richmond H. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400924482<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-2448-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic and Its Applicationsent://SD_ILS/0/SD_ILS:19327802024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Skordev, Dimiter G. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461308973<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-0897-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Course on Mathematical Logicent://SD_ILS/0/SD_ILS:18905612024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Srivastava, Shashi Mohan. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461457466<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4614-5746-6">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>Extensionalism: The Revolution in Logicent://SD_ILS/0/SD_ILS:18472792024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Bar-Am, Nimrod. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781402081682<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-8168-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2008 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic and Intelligent Systemsent://SD_ILS/0/SD_ILS:19339572024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hua Harry Li. editor. Gupta, Madan M. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780585280004<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b102307">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and computer design fundamentalsent://SD_ILS/0/SD_ILS:55922024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Mano, M. Morris, 1927- Kime, Charles R.<br/>Yer Numarası TK7888.4 .M36 1997<br/>ISBN 9780132067805<br/>Format: Books<br/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:18814182024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>ISBN 9781447141297<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-4129-7">Full Text Available From Springer Nature Computer Science 2012 Packages</a><br/>Format: Electronic Resources<br/>Nonmonotonic Logic Context-Dependent Reasoningent://SD_ILS/0/SD_ILS:19236252024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Marek, V. Wiktor. author. Truszczynski, Miroslaw. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783662029060<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-02906-0">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Circuit Design Selected Methodsent://SD_ILS/0/SD_ILS:18188072024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Vingron, Shimon P. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9783642276576<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-27657-6">Full Text Available From Springer Nature Engineering 2012 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic for Computer Scienceent://SD_ILS/0/SD_ILS:19275322024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ben-Ari, Mordechai. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9781447103356<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-0335-6">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Artificial Intelligence in Logic Designent://SD_ILS/0/SD_ILS:19181912024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Yanushkevich, Svetlana N. editor. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9781402020759<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-2075-9">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>The Logic of Partial Informationent://SD_ILS/0/SD_ILS:19255222024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nait Abdallah, Areski. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783642781605<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-78160-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic Synthesis and Verification Algorithmsent://SD_ILS/0/SD_ILS:19199012024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9780306475924<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b117060">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>History and Philosophy of Logicent://SD_ILS/0/SD_ILS:20188832024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Taylor & Francis e-Journals Taylor & Francis Group<br/>Yer Numarası XX(2018883.1)<br/>ISSN 01445340 14645149<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://www.tandfonline.com/loi/thpl20">Full Text Available From Taylor & Francis Journals</a><br/>Format: Continuing Resources<br/>The Logic of Party Democracyent://SD_ILS/0/SD_ILS:19791432024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ware, Alan J. author. SpringerLink (Online service)<br/>Yer Numarası JA1 -92<br/>ISBN 9781349046218<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-349-04621-8">Full Text Available From Palgrave Political & Intern. Studies Archive Packages</a><br/>Format: Electronic Resources<br/>The Logic of Social Controlent://SD_ILS/0/SD_ILS:19621432024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Horwitz, A.V. author. SpringerLink (Online service)<br/>Yer Numarası BF698 -698.9<br/>ISBN 9781489922304<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4899-2230-4">Full Text Available From Springer Nature Behavioral Science Archive Packages</a><br/>Format: Electronic Resources<br/>Heidegger: The Critique of Logicent://SD_ILS/0/SD_ILS:19565502024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Fay, T.A. author. SpringerLink (Online service)<br/>Yer Numarası B829.5 .A-Z<br/>ISBN 9789401010573<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-1057-3">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic Implementation and Applicationsent://SD_ILS/0/SD_ILS:19208122024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Patyra, Marek J. editor. Mlynek, Daniel J. editor. SpringerLink (Online service)<br/>Yer Numarası T1 -995<br/>ISBN 9783322889553<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-322-88955-3">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Control Using Logic-Based Switchingent://SD_ILS/0/SD_ILS:19204762024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Morse, A.Stephen. editor. SpringerLink (Online service)<br/>Yer Numarası TJ212 -225<br/>ISBN 9783540409434<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0036078">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>The Logic of Multiparty Systemsent://SD_ILS/0/SD_ILS:19575982024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Holler, M.J. editor. SpringerLink (Online service)<br/>Yer Numarası JA1 -92<br/>ISBN 9789400936072<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-3607-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Current Issues in Quantum Logicent://SD_ILS/0/SD_ILS:19467552024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Beltrametti, Enrico G. author. Fraassen, Bas C. van. author. SpringerLink (Online service)<br/>Yer Numarası QC173.96 -174.52<br/>ISBN 9781461332282<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-3228-2">Full Text Available From Springer Nature Physics and Astronomy Archive Packages</a><br/>Format: Electronic Resources<br/>The Logic of Thermostatistical Physicsent://SD_ILS/0/SD_ILS:19495652024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Emch, Gerard G. author. Liu, Chuang. author. SpringerLink (Online service)<br/>Yer Numarası Q295<br/>ISBN 9783662048863<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-04886-3">Full Text Available From Springer Nature Physics and Astronomy Archive Packages</a><br/>Format: Electronic Resources<br/>Parallel Execution of Logic Programsent://SD_ILS/0/SD_ILS:19188612024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Conery, John S. author. SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9781461319870<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-1987-0">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and computer design fundamentalsent://SD_ILS/0/SD_ILS:17656022024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Mano, M. Morris, 1927- author. Kime, Charles R., author.<br/>Yer Numarası TK7888.4 .M36 2001<br/>ISBN 9780130314864<br/>Format: Books<br/>Foundations of Inductive Logic Programmingent://SD_ILS/0/SD_ILS:19264872024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Nienhuys-Cheng, Shan-Hwei. author. Wolf, Ronald de. author. SpringerLink (Online service)<br/>Yer Numarası QA76.758<br/>ISBN 9783540690498<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-62927-0">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to digital logic designent://SD_ILS/0/SD_ILS:55902024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hayes, John P. (John Patrick), 1944-<br/>Yer Numarası TK7888.4 .H39 1993<br/>ISBN 9780201154610<br/>Format: Books<br/>Dependence Logic Theory and Applicationsent://SD_ILS/0/SD_ILS:18919482024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Abramsky, Samson. editor. (orcid)0000-0003-3921-6637 Kontinen, Juha. editor. (orcid)0000-0003-0115-5154 Väänänen, Jouko. editor. Vollmer, Heribert. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319318035<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-31803-5">Full Text Available From Springer Nature Mathematics and Statistics 2016 Packages</a><br/>Format: Electronic Resources<br/>The logic of scientific discoveryent://SD_ILS/0/SD_ILS:11723312024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Popper, Karl R. (Karl Raimund), 1902-1994. author. Logik der Forschung. English.<br/>Yer Numarası Q175 .P67713 2007<br/>ISBN 9780415278430<br/>Format: Books<br/>Fuzzy Logic in Financial Analysisent://SD_ILS/0/SD_ILS:18152902024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gil-Lafuente, Anna Maria. author. (orcid)0000-0003-0905-3929 SpringerLink (Online service)<br/>Yer Numarası TA329 -348<br/>ISBN 9783540323686<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-32368-6">Full Text Available From Springer Nature Engineering 2005 Packages</a><br/>Format: Electronic Resources<br/>Paraconsistent Logic: Consistency, Contradiction and Negationent://SD_ILS/0/SD_ILS:18676912024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Carnielli, Walter. author. Coniglio, Marcelo Esteban. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319332055<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-33205-5">Full Text Available From Springer Nature Religion and Philosophy 2016 Packages</a><br/>Format: Electronic Resources<br/>Games: Unifying Logic, Language, and Philosophyent://SD_ILS/0/SD_ILS:18474162024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781402093746<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-9374-6">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2009 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:18804372024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>ISBN 9783764399771<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-7643-9977-1">Full Text Available From Springer Nature Computer Science 2010 Packages</a><br/>Format: Electronic Resources<br/>Mathematical Logic Foundations for Information Scienceent://SD_ILS/0/SD_ILS:18908182024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Li, Wei. author. SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>ISBN 9783034808620<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-0348-0862-0">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>New Essays on Belnap-­Dunn Logicent://SD_ILS/0/SD_ILS:18686332024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Omori, Hitoshi. editor. Wansing, Heinrich. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030311360<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-31136-0">Full Text Available From Springer Nature Religion and Philosophy 2019 Packages</a><br/>Format: Electronic Resources<br/>Deontic Logic: Introductory and Systematic Readingsent://SD_ILS/0/SD_ILS:19560922024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hilpinen, R. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401031462<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-3146-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Probability in Quantum Mechanicsent://SD_ILS/0/SD_ILS:19591362024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Suppes, Patrick. editor. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789401094665<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-9466-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Truth in Fiction Rethinking its Logicent://SD_ILS/0/SD_ILS:18684652024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Woods, John. author. SpringerLink (Online service)<br/>Yer Numarası P101 -120<br/>ISBN 9783319726588<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-72658-8">Full Text Available From Springer Nature Religion and Philosophy 2018 Packages</a><br/>Format: Electronic Resources<br/>Rohit Parikh on Logic, Language and Societyent://SD_ILS/0/SD_ILS:18679382024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Başkent, Can. editor. Moss, Lawrence S. editor. Ramanujam, Ramaswamy. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319478432<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-47843-2">Full Text Available From Springer Nature Religion and Philosophy 2017 Packages</a><br/>Format: Electronic Resources<br/>Ω-Bibliography of Mathematical Logic Model Theoryent://SD_ILS/0/SD_ILS:19368762024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ebbinghaus, Heinz-Dieter. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783662090589<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-09058-9">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Modern Logic 1850-1950, East and Westent://SD_ILS/0/SD_ILS:18920712024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Abeles, Francine F. editor. Fuller, Mark E. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319247564<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-24756-4">Full Text Available From Springer Nature Mathematics and Statistics 2016 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic Mathematical Tools for Approximate Reasoningent://SD_ILS/0/SD_ILS:19375392024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gerla, G. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401596602<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-9660-2">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic, Epistemology, and the Unity of Scienceent://SD_ILS/0/SD_ILS:19573312024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Rahman, Shahid. editor. Symons, John. editor. Gabbay, Dov M. editor. van bendegem, jean paul. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9781402028083<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4020-2808-3">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Judgement and the Epistemic Foundation of Logicent://SD_ILS/0/SD_ILS:18492842024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar van der Schaar, Maria. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789400751378<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-007-5137-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2013 Packages</a><br/>Format: Electronic Resources<br/>Set theory, logic, and their limitationsent://SD_ILS/0/SD_ILS:20052472024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Machover, Moshé.<br/>Yer Numarası QA248 .M274 1996<br/>ISBN 9780521479981 9780521474931<br/>Elektronik Erişim <a href="http://www.loc.gov/catdir/description/cam027/95049048.html">Publisher description</a>
<a href="http://www.loc.gov/catdir/toc/cam026/95049048.html">Table of contents</a><br/>Format: Books<br/>Introduction to logic and critical thinkingent://SD_ILS/0/SD_ILS:20029152024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Salmon, Merrilee H.<br/>Yer Numarası BC71 .S25 2007<br/>ISBN 9780534626631<br/>Format: Books<br/>A Short Introduction to Intuitionistic Logicent://SD_ILS/0/SD_ILS:19337582024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Mints, Grigori. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9780306469756<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b115304">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:18891632024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781441912213<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4419-1221-3">Full Text Available From Springer Nature Mathematics and Statistics 2010 Packages</a><br/>Format: Electronic Resources<br/>Language, Truth and Logic in Mathematicsent://SD_ILS/0/SD_ILS:19328332024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hintikka, Jaakko. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401720458<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-2045-8">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Journal of Logic, Language and Informationent://SD_ILS/0/SD_ILS:19840542024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Moss, Lawrence. editor. Salvati, Sylvain. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)<br/>Yer Numarası XX(1984054.1)<br/>ISSN 15729583<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/10849.1572-9583">Full Text Available From SpringerLink Journals</a><br/>Format: Electronic Resources<br/>Logic and General Theory of Scienceent://SD_ILS/0/SD_ILS:18687972024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Husserl, Edmund. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030145293<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-14529-3">Full Text Available From Springer Nature Religion and Philosophy 2019 Packages</a><br/>Format: Electronic Resources<br/>Cylindric-like Algebras and Algebraic Logicent://SD_ILS/0/SD_ILS:18903412024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783642350252<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-35025-2">Full Text Available From Springer Nature Mathematics and Statistics 2013 Packages</a><br/>Format: Electronic Resources<br/>Universal Algebra, Algebraic Logic, and Databasesent://SD_ILS/0/SD_ILS:19327952024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Plotkin, B. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9789401108201<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-0820-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic Foundations and Industrial Applicationsent://SD_ILS/0/SD_ILS:19320622024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ruan, Da. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781461314417<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-1441-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Digital logic techniques : principles and practiceent://SD_ILS/0/SD_ILS:54592024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Stonham, T. J.<br/>Yer Numarası TK7868.D6 S86 1984<br/>ISBN 9780442305932 9780442305956<br/>Format: Books<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:20147272024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hitzler, Pascal., author. Seda, Anthony. Taylor & Francis Group Taylor & Francis e-Books<br/>Yer Numarası QA76.63 .H58 2011<br/>ISBN 9780429094231 9781466534162<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1201/b1039">Full Text Available From Taylor & Francis Open Access e-Books</a><br/>Format: Books<br/>The strange logic of random graphsent://SD_ILS/0/SD_ILS:211142024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Spencer, Joel H.<br/>Yer Numarası QA166.17 .S64 2001<br/>ISBN 9783540416548<br/>Elektronik Erişim <a href="http://www.loc.gov/catdir/enhancements/fy0816/2001032235-d.html">Publisher description</a>
<a href="http://www.loc.gov/catdir/enhancements/fy0816/2001032235-t.html">Table of contents only</a><br/>Format: Books<br/>Axiomatising the Logic of Computer Programmingent://SD_ILS/0/SD_ILS:19253782024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Goldblatt, R. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783540390381<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0022481">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>A Concise Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:18877452024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Rautenberg, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası T57 -57.97<br/>ISBN 9780387342412<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/0-387-34241-9">Full Text Available From Springer Nature Mathematics and Statistics 2006 Packages</a><br/>Format: Electronic Resources<br/>Separation Logic for High-level Synthesisent://SD_ILS/0/SD_ILS:18104342024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Winterstein, Felix. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9783319532226<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-53222-6">Full Text Available From Springer Nature Engineering 2017 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic State of the Artent://SD_ILS/0/SD_ILS:19261152024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lowen, R. editor. Roubens, M.R. editor. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9789401120142<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-2014-2">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:18857022024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Makinson, David. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .M35<br/>ISBN 9783030422189<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-42218-9">Full Text Available From Springer Nature Computer Science 2020 Packages</a><br/>Format: Electronic Resources<br/>Conference in Mathematical Logic - London '70ent://SD_ILS/0/SD_ILS:19319502024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hodges, W. editor. SpringerLink (Online service)<br/>Yer Numarası QA1 -939<br/>ISBN 9783540371625<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0059533">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Non-logic Devices in Logic Processesent://SD_ILS/0/SD_ILS:18107282024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ma, Yanjun. author. Kan, Edwin. author. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9783319483399<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-48339-9">Full Text Available From Springer Nature Engineering 2017 Packages</a><br/>Format: Electronic Resources<br/>The Strange Logic of Random Graphsent://SD_ILS/0/SD_ILS:19343872024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Spencer, Joel. author. SpringerLink (Online service)<br/>Yer Numarası QA297.4<br/>ISBN 9783662045381<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-04538-1">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and the Organization of Informationent://SD_ILS/0/SD_ILS:18812452024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Frické, Martin. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9781461430889<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4614-3088-9">Full Text Available From Springer Nature Computer Science 2012 Packages</a><br/>Format: Electronic Resources<br/>Logic Program Synthesis from Incomplete Informationent://SD_ILS/0/SD_ILS:19186132024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Flener, Pierre. author. SpringerLink (Online service)<br/>Yer Numarası QA76.76 .C65<br/>ISBN 9781461522058<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4615-2205-8">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Empiricism, Logic and Mathematics Philosophical Papersent://SD_ILS/0/SD_ILS:19595402024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hahn, Hans. author. McGuinness, B.F. editor. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789400989825<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-8982-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>The Logic of Being Historical Studiesent://SD_ILS/0/SD_ILS:19575232024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Knuuttila, Simo. editor. Hintikka, Jaakko. editor. SpringerLink (Online service)<br/>Yer Numarası B720 -765<br/>ISBN 9789400947801<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-4780-1">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Towards the Future of Fuzzy Logicent://SD_ILS/0/SD_ILS:18089932024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Seising, Rudolf. editor. Trillas, Enric. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Yer Numarası Q342<br/>ISBN 9783319187501<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-18750-1">Full Text Available From Springer Nature Engineering 2015 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic Applications in Engineering Scienceent://SD_ILS/0/SD_ILS:18154622024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Harris, J. author. SpringerLink (Online service)<br/>Yer Numarası Q342<br/>ISBN 9781402040788<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/1-4020-4078-4">Full Text Available From Springer Nature Engineering 2006 Packages</a><br/>Format: Electronic Resources<br/>Logic-Based 0-1 Constraint Programmingent://SD_ILS/0/SD_ILS:19547282024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Barth, Peter. author. SpringerLink (Online service)<br/>Yer Numarası T57.6 -.97<br/>ISBN 9781461313151<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-1315-1">Full Text Available From Springer Nature Business and Economics Archive Packages</a><br/>Format: Electronic Resources<br/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:18813832024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Makinson, David. author. SpringerLink (Online service)<br/>Yer Numarası QA76.9 .M35<br/>ISBN 9781447125006<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-2500-6">Full Text Available From Springer Nature Computer Science 2012 Packages</a><br/>Format: Electronic Resources<br/>Sets, Logic and Maths for Computingent://SD_ILS/0/SD_ILS:18797922024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Makinson, David. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9781846288456<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-84628-845-6">Full Text Available From Springer Nature Computer Science 2008 Packages</a><br/>Format: Electronic Resources<br/>An Introduction to Fuzzy Logic Applicationsent://SD_ILS/0/SD_ILS:19203772024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Harris, J. author. SpringerLink (Online service)<br/>Yer Numarası TA329 -348<br/>ISBN 9789401090421<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-9042-1">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Infinitary Logic In Memoriam Carol Karpent://SD_ILS/0/SD_ILS:19363682024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Kueker, D. W. editor. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783540379492<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/BFb0081118">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>An Algebraic Introduction to Mathematical Logicent://SD_ILS/0/SD_ILS:19373162024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Barnes, D.W. author. Mack, J.M. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9781475744897<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4757-4489-7">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>Philosophical perceptions on logic and orderent://SD_ILS/0/SD_ILS:20093462024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Horne, Jeremy, 1944- editor. IGI Global eBooks IGI Global<br/>Yer Numarası BC71 .P45 2017E<br/>ISBN 9781522524441<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.4018/978-1-5225-2443-4">Full Text Available From IGI Global 2018 Packages</a><br/>Format: Electronic Resources<br/>Introduction to Logic and Logical Discourseent://SD_ILS/0/SD_ILS:18693722024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Sethy, Satya Sundar. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789811626890<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-16-2689-0">Full Text Available From Springer Nature Religion and Philosophy 2021 Packages</a><br/>Format: Electronic Resources<br/>Logic and the Nature of Realityent://SD_ILS/0/SD_ILS:19581202024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Kattsoff, Louis O. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401192828<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-9282-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Non-commutative Multiple-Valued Logic Algebrasent://SD_ILS/0/SD_ILS:18911842024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ciungu, Lavinia Corina. author. SpringerLink (Online service)<br/>Yer Numarası QA8.9 -10.3<br/>ISBN 9783319015897<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-01589-7">Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages</a><br/>Format: Electronic Resources<br/>An introduction to logic circuit testingent://SD_ILS/0/SD_ILS:19918922024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lala, Parag K., 1948- ProQuest Ebook Central ProQuest (Firm)<br/>Yer Numarası TK7868 .L6 L35 2009<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://ebookcentral.proquest.com/lib/isikuntr/detail.action?docID=881014">Full Text Available From ProQuest Ebook Central</a><br/>Format: Electronic Resources<br/>Verifying Concurrent Processes Using Temporal Logicent://SD_ILS/0/SD_ILS:19276832024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hailpern, B. T. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783540390343<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/3-540-11205-7">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Computer Logic Design Principles and Applicationsent://SD_ILS/0/SD_ILS:19226002024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Hsu, John Y. author. SpringerLink (Online service)<br/>Yer Numarası TK7887.5 -.8<br/>ISBN 9781461300472<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-0047-2">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Switching Theory Insight through Predicate Logicent://SD_ILS/0/SD_ILS:19201342024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Vingron, Shimon Peter. author. SpringerLink (Online service)<br/>Yer Numarası TK7800 -8360<br/>ISBN 9783662101742<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-662-10174-2">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and the Nature of Godent://SD_ILS/0/SD_ILS:19734232024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Davis, Stephen T. author. SpringerLink (Online service)<br/>Yer Numarası BL51<br/>ISBN 9781349063529<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-349-06352-9">Full Text Available From Palgrave Religion & Philosophy Archive Packages</a><br/>Format: Electronic Resources<br/>High-Fidelity Quantum Logic in Ca+ent://SD_ILS/0/SD_ILS:18999672024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ballance, Christopher J. author. SpringerLink (Online service)<br/>Yer Numarası TK7874.887<br/>ISBN 9783319682167<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-68216-7">Full Text Available From Springer Nature Physics and Astronomy 2017 Packages</a><br/>Format: Electronic Resources<br/>Design and Testing of Reversible Logicent://SD_ILS/0/SD_ILS:18137902024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Singh, Ashutosh Kumar. editor. Fujita, Masahiro. editor. Mohan, Anand. editor. SpringerLink (Online service)<br/>Yer Numarası TK7867 -7867.5<br/>ISBN 9789811388217<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-981-13-8821-7">Full Text Available From Springer Nature Engineering 2020 Packages</a><br/>Format: Electronic Resources<br/>Decoloniality praxis : the logic and ontologyent://SD_ILS/0/SD_ILS:20139212024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Kazeroony, Hamid H., author. Emerald Social Sciences Emerald e-Books Emerald<br/>Yer Numarası JV152 .K39 2023<br/>ISBN 9781802629538<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1108/9781802629514">Full Text Available From Emerald Social Sciences 2023 Packages</a><br/>Format: Electronic Resources<br/>The Architectural Logic of Database Systemsent://SD_ILS/0/SD_ILS:19225982024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Yannakoudakis, Emmanuel J. author. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9781447116165<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4471-1616-5">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Introduction to Fuzzy Logic using MATLABent://SD_ILS/0/SD_ILS:18159162024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Sivanandam, S.N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)<br/>Yer Numarası TA329 -348<br/>ISBN 9783540357810<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-540-35781-0">Full Text Available From Springer Nature Engineering 2007 Packages</a><br/>Format: Electronic Resources<br/>Logic Minimization Algorithms for VLSI Synthesisent://SD_ILS/0/SD_ILS:19188812024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Brayton, Robert K. author. Hachtel, Gary D. author. McMullen, C. author. Sangiovanni-Vincentelli, Alberto L. author. SpringerLink (Online service)<br/>Yer Numarası TA345 -345.5<br/>ISBN 9781461328216<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-1-4613-2821-6">Full Text Available From Springer Nature Engineering Archive Packages</a><br/>Format: Electronic Resources<br/>Logic and Philosophy / Logique et Philosophieent://SD_ILS/0/SD_ILS:19584862024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Von Wright, G.H. editor. SpringerLink (Online service)<br/>Yer Numarası B1 -5802<br/>ISBN 9789400988200<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-009-8820-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic, Identification and Predictive Controlent://SD_ILS/0/SD_ILS:18153062024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Espinosa Oviedo, Jairo Jose. author. Vandewalle, Joos P.L. author. Wertz, Vincent. author. SpringerLink (Online service)<br/>Yer Numarası TK1 -9971<br/>ISBN 9781846280870<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/b138626">Full Text Available From Springer Nature Engineering 2005 Packages</a><br/>Format: Electronic Resources<br/>Fuzzy Logic Recent Applications and Developmentsent://SD_ILS/0/SD_ILS:18865922024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Carter, Jenny. editor. (orcid)0000-0001-9737-2764 Chiclana, Francisco. editor. (orcid)0000-0002-3952-4210 Khuman, Arjab Singh. editor. (orcid)0000-0001-8787-7830 Chen, Tianhua. editor. (orcid)0000-0003-4495-1871 SpringerLink (Online service)<br/>Yer Numarası Q334 -342<br/>ISBN 9783030664749<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-66474-9">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Modelling Puzzles in First Order Logicent://SD_ILS/0/SD_ILS:18868542024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Groza, Adrian. author. (orcid)0000-0003-0143-5631 SpringerLink (Online service)<br/>Yer Numarası QA267 -268.5<br/>ISBN 9783030625474<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-62547-4">Full Text Available From Springer Nature Computer Science 2021 Packages</a><br/>Format: Electronic Resources<br/>Philosophical Problems in Logic Some Recent Developmentsent://SD_ILS/0/SD_ILS:19605242024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lambert, K. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401032728<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-3272-8">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Logical Form Between Logic and Natural Languageent://SD_ILS/0/SD_ILS:18684482024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Iacona, Andrea. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319741543<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-74154-3">Full Text Available From Springer Nature Religion and Philosophy 2018 Packages</a><br/>Format: Electronic Resources<br/>Pesky Essays on the Logic of Philosophyent://SD_ILS/0/SD_ILS:18510392024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Lucey, Kenneth G. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319080635<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-08063-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2015 Packages</a><br/>Format: Electronic Resources<br/>Semantical Investigations in Heyting's Intuitionistic Logicent://SD_ILS/0/SD_ILS:19562992024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Gabbay, Dov M. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401729772<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-017-2977-2">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>The Logic of Sortals A Conceptualist Approachent://SD_ILS/0/SD_ILS:18685762024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Freund, Max A. author. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030182786<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-18278-6">Full Text Available From Springer Nature Religion and Philosophy 2019 Packages</a><br/>Format: Electronic Resources<br/>Problems of the Logic of Scientific Knowledgeent://SD_ILS/0/SD_ILS:19611022024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Tavanec, P.V. editor. SpringerLink (Online service)<br/>Yer Numarası Q174 -175.3<br/>ISBN 9789401033930<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-010-3393-0">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Johan van Benthem on Logic and Information Dynamicsent://SD_ILS/0/SD_ILS:18499712024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Baltag, Alexandru. editor. Smets, Sonja. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783319060255<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-319-06025-5">Full Text Available From Springer Nature Humanities, Social Sciences and Law 2014 Packages</a><br/>Format: Electronic Resources<br/>Logic and Philosophy of Science in Uppsalaent://SD_ILS/0/SD_ILS:19567462024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Prawitz, D. editor. Westerståhl, Dag. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401583114<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-015-8311-4">Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages</a><br/>Format: Electronic Resources<br/>Logic, Algebra, and Computation International Summer Schoolent://SD_ILS/0/SD_ILS:19246542024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Bauer, Friedrich L. editor. SpringerLink (Online service)<br/>Yer Numarası QA75.5 -76.95<br/>ISBN 9783642767999<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-642-76799-9">Full Text Available From Springer Nature Computer Science Archive Packages</a><br/>Format: Electronic Resources<br/>Logic in High Definition Trends in Logical Semanticsent://SD_ILS/0/SD_ILS:18693302024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Giordani, Alessandro. editor. Malinowski, Jacek. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9783030534875<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-3-030-53487-5">Full Text Available From Springer Nature Religion and Philosophy 2021 Packages</a><br/>Format: Electronic Resources<br/>Logic, Action and Cognition Essays in Philosophical Logicent://SD_ILS/0/SD_ILS:19374992024-11-10T05:16:14Z2024-11-10T05:16:14ZYazar Ejerhed, Eva. editor. Lindström, Sten. editor. SpringerLink (Online service)<br/>Yer Numarası BC1 -199<br/>ISBN 9789401155243<br/>Elektronik Erişim <a href="https://ezp.isikun.edu.tr/login?url=https://doi.org/10.1007/978-94-011-5524-3">Full Text Available From Springer Nature Mathematics and Statistics Archive Packages</a><br/>Format: Electronic Resources<br/>