Arama Sonuçlarını Sınırlandır
Yazar
ACM Special Interest Group for Automata and Computability Theory.
(1)
Apt, Krzysztof R., 1949-
(1)
Association for Symbolic Logic.
(1)
Aït-Kaci, Hassan, 1954-
(1)
Bakker, J. W. de (Jacobus Willem), 1939-
(1)
Dil
Yayın Yılı
-
Konu
programmation en logique.
(11)
Logic, Symbolic and mathematical.
(6)
Electronic books.
(5)
Logic programming.
(5)
Logisch programmeren.
(5)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
35 sonuç bulundu Arama sonuçlarına abone ol
00000000000000000000000000000000000DEFAULT_TR
Yazdır
1. 
Logique du sens için kapak resmi
Logique du sens
Yazar 
Deleuze, Gilles, 1925-1995.
Yer Numarası 
B840 .D38 1969
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
2. 
Introduction a la logique için kapak resmi
Introduction a la logique
Yazar 
Tarski, Alfred.
Yer Numarası 
QA 9 T3 1971
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
3. 
Logique et connaissance scientifique ... için kapak resmi
Logique et connaissance scientifique ...
Yazar 
Piaget, Jean, 1896-1980.
Yer Numarası 
BD 162 L6 1967
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
4. 
Louis Couturat -Traité de Logique algorithmique için kapak resmi
Louis Couturat -Traité de Logique algorithmique
Yazar 
Schlaudt, Oliver. editor. Sakhri, Mohsen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0346-0411-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Finance d'entreprise Logique et polifique için kapak resmi
Finance d'entreprise Logique et polifique
Yazar 
Vernimmen, Pierre.
Yer Numarası 
HG 4026 V48 1976
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
6. 
Logique, structure, enonciation : lectures sur le langage için kapak resmi
Logique, structure, enonciation : lectures sur le langage
Yazar 
Ducrot, Oswald.
Yer Numarası 
P106 .D77 1989
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
7. 
Logic and philosophy : logique et philosophie ; international institute of philosophy symposium in Düsseldorf, 27 August-1 September 1978 için kapak resmi
Logic and philosophy : logique et philosophie ; international institute of philosophy symposium in Düsseldorf, 27 August-1 September 1978
Yazar 
Wright, G.H., Von. ed.
Yer Numarası 
BC 51 L58 1980
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
8. 
Technologic and technology : a Paleo-history of Knapped Lithic objects için kapak resmi
Technologic and technology : a Paleo-history of Knapped Lithic objects
Yazar 
Boëda, Eric, author. Chazan, Michael, translator.
Yer Numarası 
GN434
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003359081
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Elements of mathematical logic (Model theory) için kapak resmi
Elements of mathematical logic (Model theory)
Yazar 
Kreisel, Georg. Krivine, J. L. (Jean Louis), joint author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444534125
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985 için kapak resmi
Logic colloquium '85 proceedings of the colloquium held in Orsay, France July 1985
Yazar 
Logic Colloquium (1985 : Orsay, France) Equipe de logique mathématique (Paris, France)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444702111
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Computing with multi-value logic in quantum dot cellular automata için kapak resmi
Computing with multi-value logic in quantum dot cellular automata
Yazar 
Sabbaghi-Nadooshan, Reza, author.
Yer Numarası 
TK7874.88 .S23 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394253975
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Fuzzy computing in data science : applications and challenges için kapak resmi
Fuzzy computing in data science : applications and challenges
Yazar 
Mohanty, Sachi Nandan, editor. Chatterjee, Prasenjit, editor. Hung, Bui Thanh, editor.
Yer Numarası 
QA9.64 .F89 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394156887
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
13. 
Fuzzy logic applications in computer science and mathematics için kapak resmi
Fuzzy logic applications in computer science and mathematics
Yazar 
Kar, Rahul, editor.
Yer Numarası 
QA9.64 .F89 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394175130
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Agent-based models and causal inference için kapak resmi
Agent-based models and causal inference
Yazar 
Manzo, Gianluca, author.
Yer Numarası 
H62 .M23596 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119704492
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Introduction to fuzzy logic için kapak resmi
Introduction to fuzzy logic
Yazar 
Peckol, James K., author. John Wiley & Sons, publisher.
Yer Numarası 
QA9.64 .P43 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Fast circuit boards : energy management için kapak resmi
Fast circuit boards : energy management
Yazar 
Morrison, Ralph, author.
Yer Numarası 
TK7874.7 .M67 2018
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119413950
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Application of graph rewriting to natural language processing için kapak resmi
Application of graph rewriting to natural language processing
Yazar 
Bonfante, Guillaume, author. Guillaume, Bruno, author. Perrier, Guy, 1950- author.
Yer Numarası 
P98
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119428589
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
High-performance system design circuits and logic için kapak resmi
High-performance system design circuits and logic
Yazar 
Oklobdzija, Vojin G. IEEE Circuits and Systems Society. IEEE Solid-State Circuits Society.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets için kapak resmi
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Yazar 
Gregg, John.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Handbook of logic and language için kapak resmi
Handbook of logic and language
Yazar 
Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Inductive logic programming from machine learning to software engineering için kapak resmi
Inductive logic programming from machine learning to software engineering
Yazar 
Bergadano, Francesco, 1963- Gunetti, Daniele.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
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:
23. 
Logic programming proceedings of the twelfth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the twelfth International Conference on Logic Programming
Yazar 
Sterling, Leon.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Logic programming proceedings of the eleventh International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the eleventh International Conference on Logic Programming
Yazar 
Van Hentenryck, Pascal.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
25. 
From logic to logic programming için kapak resmi
From logic to logic programming
Yazar 
Doets, Kees.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Logic programming languages constraints, functions, and objects için kapak resmi
Logic programming languages constraints, functions, and objects
Yazar 
Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
A grammatical view of logic programming için kapak resmi
A grammatical view of logic programming
Yazar 
Deransart, Pierre. Małuszyński, J. (Jan), 1941-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Logic programming proceedings of the Tenth International Conference on Logic Programming için kapak resmi
Logic programming proceedings of the Tenth International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary) Warren, David S.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Warren's abstract machine a tutorial reconstruction için kapak resmi
Warren's abstract machine a tutorial reconstruction
Yazar 
Aït-Kaci, Hassan, 1954-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy için kapak resmi
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Yazar 
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Proceedings of the Third Annual Workshop on Computational Learning Theory University of Rochester, Rochester, New York, August 6-8, 1990 için kapak resmi
Proceedings of the Third Annual Workshop on Computational Learning Theory University of Rochester, Rochester, New York, August 6-8, 1990
Yazar 
Workshop on Computational Learning Theory (3rd : 1990 : Rochester, N.Y.) Fulk, Mark A. Case, John, 1942- ACM Special Interest Group for Automata and Computability Theory. SIGART.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781558601468
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Spectral techniques and fault detection için kapak resmi
Spectral techniques and fault detection
Yazar 
Karpovsky, Mark G. International Workshop on Spectral Techniques and Fault Detection (1983 : Boston, Mass.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124000605
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Algorithmic program debugging için kapak resmi
Algorithmic program debugging
Yazar 
Shapiro, Ehud Y.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic için kapak resmi
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
Yazar 
Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444864659
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Logic in algebraic form Three languages and theories için kapak resmi
Logic in algebraic form Three languages and theories
Yazar 
Craig, William, 1918-
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444104779
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets