Search Results for Induction (Logic)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInduction$002b$002528Logic$002529$0026te$003dILS$0026ps$003d300?dt=list
2026-03-20T14:57:42Z
Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic
ent://SD_ILS/0/SD_ILS:168623
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Robyns, Benoît. author. Francois, Bruno. author. Degobert, Philippe. author. Hautier, Jean Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics for Computer Scientists A Practice-Oriented Approach
ent://SD_ILS/0/SD_ILS:520344
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Hartmann, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-40423-9">https://doi.org/10.1007/978-3-658-40423-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
ent://SD_ILS/0/SD_ILS:520574
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50959-9">https://doi.org/10.1007/978-3-031-50959-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520880
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520889
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Power system protection
ent://SD_ILS/0/SD_ILS:597296
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Anderson, Paul M., author. Henville, Charles, author. Rifaat, Rasheek, author. Johnson, Brian, author. Meliopoulos, Sakis, author.<br/>Preferred Shelf Number TK1010<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119513100">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119513100</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent data analytics for terror threat prediction : architectures, methodologies, techniques and applications
ent://SD_ILS/0/SD_ILS:596541
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Pani, Subhendu Kumar, 1980- editor. Singh, Sanjay Kumar, 1963- editor. Garg, Lalit, 1977- editor.<br/>Preferred Shelf Number HV6431 .I58 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119711629">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119711629</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
ent://SD_ILS/0/SD_ILS:617465
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Machine Learning
ent://SD_ILS/0/SD_ILS:615665
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Kubat, Miroslav. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63913-0">https://doi.org/10.1007/978-3-319-63913-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
ent://SD_ILS/0/SD_ILS:617503
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Machine Learning in Medicine - a Complete Overview
ent://SD_ILS/0/SD_ILS:529487
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15195-3">https://doi.org/10.1007/978-3-319-15195-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014
ent://SD_ILS/0/SD_ILS:529733
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Kamalakannan, C. editor. Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2119-7">https://doi.org/10.1007/978-81-322-2119-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cognitive Neurodynamics (IV) Proceedings of the Fourth International Conference on Cognitive Neurodynamics - 2013
ent://SD_ILS/0/SD_ILS:529847
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Liljenström, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-9548-7">https://doi.org/10.1007/978-94-017-9548-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
ent://SD_ILS/0/SD_ILS:529201
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2217-0">https://doi.org/10.1007/978-81-322-2217-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Huatulco, Mexico, October 21-24, 2014
ent://SD_ILS/0/SD_ILS:529933
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Ceccarelli, Marco. editor. Hernández Martinez, Eusebio Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09858-6">https://doi.org/10.1007/978-3-319-09858-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering
ent://SD_ILS/0/SD_ILS:529589
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Selvaraj, Henry. editor. Zydek, Dawid. editor. Chmaj, Grzegorz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08422-0">https://doi.org/10.1007/978-3-319-08422-0</a><br/>Format: Electronic Resources<br/>Availability 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
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online 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
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Gelbukh, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Olasılık ve tümevarım mantığına giriş
ent://SD_ILS/0/SD_ILS:370908
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Hacking, Ian. Özdabak, İrfan.<br/>Preferred Shelf Number BC141 H33 2015<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Logical investigative methods : critical thinking and reasoning for successful investigations
ent://SD_ILS/0/SD_ILS:546426
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Girod, Robert J., author.<br/>Preferred Shelf Number HV8073 .G566 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482243147">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Handbook of Mathematical Induction : Theory and Applications
ent://SD_ILS/0/SD_ILS:544049
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Gunderson, David S., author.<br/>Preferred Shelf Number QA9.54 G863 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420093650">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Introduction to mathematical proofs
ent://SD_ILS/0/SD_ILS:547740
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Roberts, Charles, author. Taylor and Francis.<br/>Preferred Shelf Number QA9.54<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482246889">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Argumentation. Proceedings of the Conference on Argumentation 1986 Across the Lines of Disciplines
ent://SD_ILS/0/SD_ILS:601117
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Preferred Shelf Number ONLİNE<br/>Electronic Access <a href="https://www.degruyterbrill.com/isbn/9783110867718">https://www.degruyterbrill.com/isbn/9783110867718</a>
Cover <a href="https://www.degruyterbrill.com/document/cover/isbn/9783110867718/original">https://www.degruyterbrill.com/document/cover/isbn/9783110867718/original</a><br/>Format: Books<br/>Availability Online Library~1<br/>
Schaum's outline of theory and problems of logic
ent://SD_ILS/0/SD_ILS:293959
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/schaums-outline-logic">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic demystified
ent://SD_ILS/0/SD_ILS:294115
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Boutelle, Anthony. Gibilisco, Stan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://mhebooklibrary.com/reader/logic-demystified">Subscription required</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thinking about acting logical foundations for rational decision making
ent://SD_ILS/0/SD_ILS:232026
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Pollock, John L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>
Bilimsel araştırmanın mantığı
ent://SD_ILS/0/SD_ILS:506209
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Popper, Karl R. Aka, İlknur, çev. Turan, İbrahim, çev.<br/>Preferred Shelf Number Q175.3 P67 2005<br/>Format: Books<br/>Availability Law Library~1 Beytepe Library~1<br/>
Bilimsel araştırmanın mantığı
ent://SD_ILS/0/SD_ILS:102393
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Popper, Karl R. Aka, İlknur, çev. Turan, İbrahim, çev.<br/>Preferred Shelf Number Q 175.3 .K37 2003<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
An introduction to probability and inductive logic
ent://SD_ILS/0/SD_ILS:81720
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Hacking, Ian.<br/>Preferred Shelf Number BC 141 H33 2001<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Induction : processes of inference, learning, and discovery
ent://SD_ILS/0/SD_ILS:90506
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Holland, John Henry, 1929-<br/>Preferred Shelf Number BF 441 I53 1986<br/>Format: Books<br/>Availability Beytepe Library~1<br/>
Objective knowledge : an evolutionary approach
ent://SD_ILS/0/SD_ILS:851
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Popper, Sir Karl Raimund, 1902-<br/>Preferred Shelf Number BD 161 P727 1972<br/>Format: Books<br/>Availability 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
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534156">http://www.sciencedirect.com/science/book/9780444534156</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aspects of inductive logic
ent://SD_ILS/0/SD_ILS:257284
2026-03-20T14:57:42Z
2026-03-20T14:57:42Z
Author Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444534088">http://www.sciencedirect.com/science/book/9780444534088</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>