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