Search Results for Induction (Logic) SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInduction$002b$002528Logic$002529$0026ic$003dtrue$0026ps$003d300? 2024-09-13T15:56:29Z Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic ent://SD_ILS/0/SD_ILS:168623 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Robyns, Beno&icirc;t. author.&#160;Francois, Bruno. author.&#160;Degobert, Philippe. author.&#160;Hautier, Jean Paul. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-85729-901-7">http://dx.doi.org/10.1007/978-0-85729-901-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematics for Computer Scientists A Practice-Oriented Approach ent://SD_ILS/0/SD_ILS:520344 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Hartmann, Peter. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520344.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Software Engineering A Practical Guide to Essentials ent://SD_ILS/0/SD_ILS:520574 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520574.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-26212-8">https://doi.org/10.1007/978-3-031-26212-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings ent://SD_ILS/0/SD_ILS:520796 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Goertzel, Ben. editor.&#160;Ikl&eacute;, Matt. editor.&#160;Potapov, Alexey. editor.&#160;Ponomaryov, Denis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520796.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-19907-3">https://doi.org/10.1007/978-3-031-19907-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:520864 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Lopez-Garcia, Pedro. editor.&#160;Gallagher, John P. editor.&#160;Giacobazzi, Roberto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520864.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-31476-6">https://doi.org/10.1007/978-3-031-31476-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520880 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Hansen, Helle Hvid. editor.&#160;Scedrov, Andre. editor.&#160;de Queiroz, Ruy J.G.B. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520880.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-39784-4">https://doi.org/10.1007/978-3-031-39784-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 25th International Symposium, FM 2023, L&uuml;beck, Germany, March 6-10, 2023, Proceedings ent://SD_ILS/0/SD_ILS:520889 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Chechik, Marsha. editor.&#160;Katoen, Joost-Pieter. editor.&#160;Leucker, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(520889.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-27481-7">https://doi.org/10.1007/978-3-031-27481-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings ent://SD_ILS/0/SD_ILS:521379 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Campagner, Andrea. editor.&#160;Urs Lenz, Oliver. editor.&#160;Xia, Shuyin. editor.&#160;&#346;l&#281;zak, Dominik. editor.&#160;W&#261;s, Jaros&#322;aw. editor.<br/>Preferred Shelf Number&#160;XX(521379.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50959-9">https://doi.org/10.1007/978-3-031-50959-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Olas&#305;l&#305;k ve t&uuml;mevar&#305;m mant&#305;&#287;&#305;na giri&#351; ent://SD_ILS/0/SD_ILS:370908 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Hacking, Ian.&#160;&Ouml;zdabak, &#304;rfan.<br/>Preferred Shelf Number&#160;BC141 H33 2015<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I ent://SD_ILS/0/SD_ILS:519079 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Gelbukh, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519079.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-18111-0">https://doi.org/10.1007/978-3-319-18111-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings ent://SD_ILS/0/SD_ILS:518878 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Bieger, Jordi. editor.&#160;Goertzel, Ben. editor.&#160;Potapov, Alexey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(518878.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-21365-1">https://doi.org/10.1007/978-3-319-21365-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Schaum's outline of theory and problems of logic ent://SD_ILS/0/SD_ILS:293959 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Nolt, John, 1950-&#160;Rohatyn, Dennis A.&#160;Varzi, Achille C.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/schaums-outline-logic">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic demystified ent://SD_ILS/0/SD_ILS:294115 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Boutelle, Anthony.&#160;Gibilisco, Stan.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Thinking about acting logical foundations for rational decision making ent://SD_ILS/0/SD_ILS:232026 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Pollock, John L.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;Oxford scholarship online <a href="http://dx.doi.org/10.1093/acprof:oso/9780195304817.001.0001">http://dx.doi.org/10.1093/acprof:oso/9780195304817.001.0001</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Bilimsel ara&#351;t&#305;rman&#305;n mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:506209 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Popper, Karl R.&#160;Aka, &#304;lknur, &ccedil;ev.&#160;Turan, &#304;brahim, &ccedil;ev.<br/>Preferred Shelf Number&#160;Q175.3 P67 2005<br/>Format:&#160;Books<br/>Availability&#160;Law Library~1&#160;Beytepe Library~1<br/> Bilimsel ara&#351;t&#305;rman&#305;n mant&#305;&#287;&#305; ent://SD_ILS/0/SD_ILS:102393 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Popper, Karl R.&#160;Aka, &#304;lknur, &ccedil;ev.&#160;Turan, &#304;brahim, &ccedil;ev.<br/>Preferred Shelf Number&#160;Q 175.3 .K37 2003<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> An introduction to probability and inductive logic ent://SD_ILS/0/SD_ILS:81720 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Hacking, Ian.<br/>Preferred Shelf Number&#160;BC 141 H33 2001<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Induction : processes of inference, learning, and discovery ent://SD_ILS/0/SD_ILS:90506 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Holland, John Henry, 1929-<br/>Preferred Shelf Number&#160;BF 441 I53 1986<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Objective knowledge : an evolutionary approach ent://SD_ILS/0/SD_ILS:851 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Popper, Sir Karl Raimund, 1902-<br/>Preferred Shelf Number&#160;BD 161 P727 1972<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2] ent://SD_ILS/0/SD_ILS:257356 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;International Colloquium in the Philosophy of Science (1965 : Bedford College)&#160;Lakatos, Imre.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534156">http://www.sciencedirect.com/science/book/9780444534156</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Aspects of inductive logic ent://SD_ILS/0/SD_ILS:257284 2024-09-13T15:56:29Z 2024-09-13T15:56:29Z Author&#160;Hintikka, Jaakko, 1929-&#160;Suppes, Patrick, 1922-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534088">http://www.sciencedirect.com/science/book/9780444534088</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>