Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(2126)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Kacprzyk, Janusz. editor.
(13)
Wiley InterScience (Online service)
(13)
Dil
Yayın Yılı
-
Konu
Computer science.
(1244)
Logic design.
(1153)
Software engineering.
(876)
Artificial intelligence.
(654)
Logic, Symbolic and mathematical.
(317)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
3166 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
373. 
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:
374. 
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus. için kapak resmi
Recursive number theory a development of recursive arithmetic in a logic-free equation calculus.
Yazar 
Goodstein, R. L. (Reuben Louis)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444533852
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
375. 
Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic için kapak resmi
Proceedings of the Summer School in Logic Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
Yazar 
Summer School in Logic (1967 : Leeds, Eng.) Löb, M. H., ed.
Yer Numarası 
QA 248 SU64 1968
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
376. 
Logic programming proceedings of the 1999 International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the 1999 International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (16th : 1999 : Las Cruces, N.M.) De Schreye, Danny.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
377. 
Logic programming proceedings of the Fourteenth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the Fourteenth International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
378. 
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming için kapak resmi
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Yazar 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
379. 
The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983 için kapak resmi
The rise of British logic : acts of the Sixth European Symposium on Medieval Logic and Semantics, Balliol College, Oxford, 19-24 June 1983
Yazar 
European Symposium on Medieval Logic and Semantics (6th : 1983 : Balliol College) Lewry, P. Osmund, ed.
Yer Numarası 
BC 39.5.G7 E97 1983
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
380. 
Logic, methodology and philosophy of science III : proceedings için kapak resmi
Logic, methodology and philosophy of science III : proceedings
Yazar 
International Congress for Logic, Methodology and Philosophy of Science (3rd : 1967 : Amsterdam) Van Rootselaar, B., ed. Staal, J. F., ed.
Yer Numarası 
BC 135 I55 1968
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
381. 
Postmodernism, or, The cultural logic of late capitalism için kapak resmi
Postmodernism, or, The cultural logic of late capitalism
Yazar 
Jameson, Fredric.
Yer Numarası 
PN 98.P67 J3 1991
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
382. 
Logic of the Future. Volume 3,1, Pragmaticism için kapak resmi
Logic of the Future. Volume 3,1, Pragmaticism
Yazar 
Peirce, Charles S., author. Pietarinen, Ahti-Veikko, contributor. Pietarinen, Ahti-Veikko, editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1515/9783110651447
https://www.degruyter.com/isbn/9783110651447
Cover https://www.degruyter.com/document/cover/isbn/9783110651447/original
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
383. 
Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications için kapak resmi
Recent Trends on Type-2 Fuzzy Logic Systems: Theory, Methodology and Applications
Yazar 
Castillo, Oscar. editor. Kumar, Anupam. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26332-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
384. 
Logic Locking A Practical Approach to Secure Hardware için kapak resmi
Logic Locking A Practical Approach to Secure Hardware
Yazar 
Sisejkovic, Dominik. author. Leupers, Rainer. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-19123-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç