Limit Search Results
Author
SpringerLink (Online service)
(19)
Aka, İlknur, çev.
(2)
Goertzel, Ben. editor.
(2)
Hacking, Ian.
(2)
O'Regan, Gerard. author.
(2)
Language
Publication Date
-
Subject
Induction (Logic)
(9)
Artificial intelligence.
(3)
Probabilities.
(3)
TÜMEVARIM (MANTIK)
(3)
Bilim -- Yöntembilim.
(2)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
36 Results Found Subscribe to search results
000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic
Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic
Author 
Robyns, Benoît. author. Francois, Bruno. author. Degobert, Philippe. author. Hautier, Jean Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-901-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematics for Computer Scientists A Practice-Oriented Approach
Mathematics for Computer Scientists A Practice-Oriented Approach
Author 
Hartmann, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Author 
Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Author 
Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings
Author 
Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-50959-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Author 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Power system protection
Power system protection
Author 
Anderson, Paul M., author. Henville, Charles, author. Rifaat, Rasheek, author. Johnson, Brian, author. Meliopoulos, Sakis, author.
Preferred Shelf Number 
TK1010
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119513100
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Intelligent data analytics for terror threat prediction : architectures, methodologies, techniques and applications
Intelligent data analytics for terror threat prediction : architectures, methodologies, techniques and applications
Author 
Pani, Subhendu Kumar, 1980- editor. Singh, Sanjay Kumar, 1963- editor. Garg, Lalit, 1977- editor.
Preferred Shelf Number 
HV6431 .I58 2021
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119711629
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for An Introduction to Machine Learning
An Introduction to Machine Learning
Author 
Kubat, Miroslav. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63913-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
Author 
Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-21365-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I
Author 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-18111-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Machine Learning in Medicine - a Complete Overview
Machine Learning in Medicine - a Complete Overview
Author 
Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15195-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Advances in Cognitive Neurodynamics (IV) Proceedings of the Fourth International Conference on Cognitive Neurodynamics - 2013
Advances in Cognitive Neurodynamics (IV) Proceedings of the Fourth International Conference on Cognitive Neurodynamics - 2013
Author 
Liljenström, Hans. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9548-7
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Huatulco, Mexico, October 21-24, 2014
Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Huatulco, Mexico, October 21-24, 2014
Author 
Ceccarelli, Marco. editor. Hernández Martinez, Eusebio Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09858-6
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1
Author 
Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2217-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering
Progress in Systems Engineering Proceedings of the Twenty-Third International Conference on Systems Engineering
Author 
Selvaraj, Henry. editor. Zydek, Dawid. editor. Chmaj, Grzegorz. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-08422-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014
Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014
Author 
Kamalakannan, C. editor. Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2119-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Logical investigative methods : critical thinking and reasoning for successful investigations
Logical investigative methods : critical thinking and reasoning for successful investigations
Author 
Girod, Robert J., author.
Preferred Shelf Number 
HV8073 .G566 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Olasılık ve tümevarım mantığına giriş
Olasılık ve tümevarım mantığına giriş
Author 
Hacking, Ian. Özdabak, İrfan.
Preferred Shelf Number 
BC141 H33 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
24. 
Cover image for Introduction to mathematical proofs
Introduction to mathematical proofs
Author 
Roberts, Charles, author. Taylor and Francis.
Preferred Shelf Number 
QA9.54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Handbook of Mathematical Induction : Theory and Applications
Handbook of Mathematical Induction : Theory and Applications
Author 
Gunderson, David S., author.
Preferred Shelf Number 
QA9.54 G863 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Argumentation. Proceedings of the Conference on Argumentation 1986 Across the Lines of Disciplines
Argumentation. Proceedings of the Conference on Argumentation 1986 Across the Lines of Disciplines
Preferred Shelf Number 
ONLİNE
Electronic Access 
https://www.degruyterbrill.com/isbn/9783110867718
Cover https://www.degruyterbrill.com/document/cover/isbn/9783110867718/original
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Schaum's outline of theory and problems of logic
Schaum's outline of theory and problems of logic
Author 
Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Logic demystified
Logic demystified
Author 
Boutelle, Anthony. Gibilisco, Stan.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Thinking about acting logical foundations for rational decision making
Thinking about acting logical foundations for rational decision making
Author 
Pollock, John L.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195304817.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Bilimsel araştırmanın mantığı
Bilimsel araştırmanın mantığı
Author 
Popper, Karl R. Aka, İlknur, çev. Turan, İbrahim, çev.
Preferred Shelf Number 
Q175.3 P67 2005
Format: 
Availability 
Law Library~1 Beytepe Library~1
Available:
Copies:
31. 
Cover image for Bilimsel araştırmanın mantığı
Bilimsel araştırmanın mantığı
Author 
Popper, Karl R. Aka, İlknur, çev. Turan, İbrahim, çev.
Preferred Shelf Number 
Q 175.3 .K37 2003
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
32. 
Cover image for An introduction to probability and inductive logic
An introduction to probability and inductive logic
Author 
Hacking, Ian.
Preferred Shelf Number 
BC 141 H33 2001
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
33. 
Cover image for Induction : processes of inference, learning, and discovery
Induction : processes of inference, learning, and discovery
Author 
Holland, John Henry, 1929-
Preferred Shelf Number 
BF 441 I53 1986
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
34. 
Cover image for Objective knowledge : an evolutionary approach
Objective knowledge : an evolutionary approach
Author 
Popper, Sir Karl Raimund, 1902-
Preferred Shelf Number 
BD 161 P727 1972
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
35. 
Cover image for The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]
The problem of inductive logic Proceedings of the International colloquium in the philosophy of science, London, 1965. [Volume 2]
Author 
International Colloquium in the Philosophy of Science (1965 : Bedford College) Lakatos, Imre.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534156
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Aspects of inductive logic
Aspects of inductive logic
Author 
Hintikka, Jaakko, 1929- Suppes, Patrick, 1922-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534088
Format: 
Availability 
Online Library~1
Available:
Copies: