1823 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULTTR
Yazdır
1. 
Modern logic için kapak resmi
Modern logic
Modern logic
Yazar 
Grünberg, Teo.
Format: 
Kitap
Alıntı: 
Modern logic / Grünberg, Teo.
2. 
Dynamic logic için kapak resmi
Dynamic logic
Dynamic logic
Yazar 
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Electronic Resources
Alıntı: 
Dynamic logic / Harel, David, 1950-
3. 
Logic in games için kapak resmi
Logic in games
Logic in games
Yazar 
Benthem, Johan van, 1949-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151
Format: 
Electronic Resources
Alıntı: 
Logic in games / Benthem, Johan van, 1949-
4. 
Advanced Logic Synthesis için kapak resmi
Advanced Logic Synthesis
Advanced Logic Synthesis
Yazar 
Reis, André Inácio. editor.
https://doi.org/10.1007/978-3-319-67295-3
Format: 
Electronic Resources
Alıntı: 
Advanced Logic Synthesis Reis, André Inácio. editor.
5. 
Logic, Reasoning, and Rationality için kapak resmi
Logic, Reasoning, and Rationality
Logic, Reasoning, and Rationality
Yazar 
Weber, Erik. editor.
http://dx.doi.org/10.1007/978-94-017-9011-6
Format: 
Electronic Resources
Alıntı: 
Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social
6. 
Fundamentals of logic design için kapak resmi
Fundamentals of logic design
Fundamentals of logic design
Yazar 
Roth, Charles H.
Format: 
Kitap
Alıntı: 
Fundamentals of logic design / Roth, Charles H.
7. 
Digital Logic for Computing için kapak resmi
Digital Logic for Computing
Digital Logic for Computing
Yazar 
Seiffertt, John. author.
https://doi.org/10.1007/978-3-319-56839-3
Format: 
Electronic Resources
Alıntı: 
Arithmetic and Logic Structures. http://scigraph.springernature.com/things/product-market-codes/I
8. 
Grammar, Philosophy, and Logic için kapak resmi
Grammar, Philosophy, and Logic
Grammar, Philosophy, and Logic
Yazar 
Silver, Bruce. author.
https://doi.org/10.1007/978-3-319-66257-2
Format: 
Electronic Resources
Alıntı: 
Grammar, Philosophy, and Logic Silver, Bruce. author.
9. 
Logic and information flow için kapak resmi
Logic and information flow
Logic and information flow
Yazar 
Eijck, J. van (Jan)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: 
Electronic Resources
Alıntı: 
Logic and information flow / Eijck, J. van (Jan)
10. 
Krister Segerberg on Logic of Actions için kapak resmi
Krister Segerberg on Logic of Actions
Krister Segerberg on Logic of Actions
Yazar 
Trypuz, Robert. editor.
http://dx.doi.org/10.1007/978-94-007-7046-1
Format: 
Electronic Resources
Alıntı: 
Krister Segerberg on Logic of Actions Trypuz, Robert. editor.
11. 
Handbook of Philosophical Logic Volume 17 için kapak resmi
Handbook of Philosophical Logic Volume 17
Handbook of Philosophical Logic Volume 17
Yazar 
Gabbay, Dov M. editor.
http://dx.doi.org/10.1007/978-94-007-6600-6
Format: 
Electronic Resources
Alıntı: 
Handbook of Philosophical Logic Volume 17 / Gabbay, Dov M. editor.
12. 
Logic programming languages : constraints, functions, and objects için kapak resmi
Logic programming languages : constraints, functions, and objects
Logic programming languages : constraints, functions, and objects
Yazar 
Rutten, J. J. M. M.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: 
Electronic Resources
Alıntı: 
Logic programming languages : constraints, functions, and objects / Rutten, J. J. M. M.
13. 
The logic of scientific discovery için kapak resmi
The logic of scientific discovery
The logic of scientific discovery
Yazar 
Popper, Karl.
Format: 
Kitap
Alıntı: 
The logic of scientific discovery/ Popper, Karl.
14. 
The social logic of space için kapak resmi
The social logic of space
The social logic of space
Yazar 
Hillier, Bill.
Format: 
Kitap
Alıntı: 
The social logic of space/ Hillier, Bill.
15. 
From logic to logic programming için kapak resmi
From logic to logic programming
From logic to logic programming
Yazar 
Doets, Kees, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267470
Format: 
Electronic Resources
Alıntı: 
From logic to logic programming / Doets, Kees, author.
16. 
Logic and computer design fundamentals için kapak resmi
Logic and computer design fundamentals
Logic and computer design fundamentals
Yazar 
Mano, M. Morris.
Format: 
Kitap
Alıntı: 
Logic and computer design fundamentals/ Mano, M. Morris.
17. 
Design of Reconfigurable Logic Controllers için kapak resmi
Design of Reconfigurable Logic Controllers
Design of Reconfigurable Logic Controllers
Yazar 
Karatkevich, Andrei. editor.
http://dx.doi.org/10.1007/978-3-319-26725-8
Format: 
Electronic Resources
Alıntı: 
Design of Reconfigurable Logic Controllers Karatkevich, Andrei. editor.
18. 
The essence of logic circuits için kapak resmi
The essence of logic circuits
The essence of logic circuits
Yazar 
Unger, Stephen H., 1931-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263200
Format: 
Electronic Resources
Alıntı: 
The essence of logic circuits / Unger, Stephen H., 1931-
19. 
The logic of knowledge bases için kapak resmi
The logic of knowledge bases
The logic of knowledge bases
Yazar 
Levesque, Hector J., 1951-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format: 
Electronic Resources
Alıntı: 
The logic of knowledge bases / Levesque, Hector J., 1951-
20. 
A grammatical view of logic programming için kapak resmi
A grammatical view of logic programming
A grammatical view of logic programming
Yazar 
Deransart, Pierre, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491
Format: 
Electronic Resources
Alıntı: 
A grammatical view of logic programming / Deransart, Pierre, author.
21. 
Programming logic and design, comprehensive version için kapak resmi
Programming logic and design, comprehensive version
Programming logic and design, comprehensive version
Yazar 
Farrell, Joyce.
Format: 
Kitap
Alıntı: 
Programming logic and design, comprehensive version / Farrell, Joyce.
22. 
Logic : the ancient art of reason için kapak resmi
Logic : the ancient art of reason
Logic : the ancient art of reason
Yazar 
Fontainelle, Earl.
Format: 
Kitap
Alıntı: 
Logic : the ancient art of reason Fontainelle, Earl.
23. 
Starting out with programming logic & design için kapak resmi
Starting out with programming logic & design
Starting out with programming logic & design
Yazar 
Gaddis, Tony.
Format: 
Kitap
Alıntı: 
Starting out with programming logic & design/ Gaddis, Tony.
24. 
Francis Bacon : the logic of sensation için kapak resmi
Francis Bacon : the logic of sensation
Francis Bacon : the logic of sensation
Yazar 
Deleuze, Gilles
Format: 
Kitap
Alıntı: 
Francis Bacon : the logic of sensation / Deleuze, Gilles
25. 
Logic testing and design for testability için kapak resmi
Logic testing and design for testability
Logic testing and design for testability
Yazar 
Fujiwara, Hideo, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format: 
Electronic Resources
Alıntı: 
Logic testing and design for testability / Fujiwara, Hideo, author.
26. 
Separation Logic for High-level Synthesis için kapak resmi
Separation Logic for High-level Synthesis
Separation Logic for High-level Synthesis
Yazar 
Winterstein, Felix. author.
https://doi.org/10.1007/978-3-319-53222-6
Format: 
Electronic Resources
Alıntı: 
Logic Design. http://scigraph.springernature.com/things/product-market-codes/I12050
27. 
Non-logic Devices in Logic Processes için kapak resmi
Non-logic Devices in Logic Processes
Non-logic Devices in Logic Processes
Yazar 
Ma, Yanjun. author.
https://doi.org/10.1007/978-3-319-48339-9
Format: 
Electronic Resources
Alıntı: 
Non-logic Devices in Logic Processes Ma, Yanjun. author.
28. 
Towards the Future of Fuzzy Logic için kapak resmi
Towards the Future of Fuzzy Logic
Towards the Future of Fuzzy Logic
Yazar 
Seising, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-319-18750-1
Format: 
Electronic Resources
Alıntı: 
Towards the Future of Fuzzy Logic Seising, Rudolf. editor.
29. 
Pesky Essays on the Logic of Philosophy için kapak resmi
Pesky Essays on the Logic of Philosophy
Pesky Essays on the Logic of Philosophy
Yazar 
Lucey, Kenneth G. author.
http://dx.doi.org/10.1007/978-3-319-08063-5
Format: 
Electronic Resources
Alıntı: 
Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social
30. 
Logic programming : proceedings of the 1995 international symposium için kapak resmi
Logic programming : proceedings of the 1995 international symposium
Logic programming : proceedings of the 1995 international symposium
Yazar 
Lloyd, John.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853
Format: 
Electronic Resources
Alıntı: 
Logic programming : proceedings of the 1995 international symposium / Lloyd, John.
31. 
Inductive logic programming : from machine learning to software engineering için kapak resmi
Inductive logic programming : from machine learning to software engineering
Inductive logic programming : from machine learning to software engineering
Yazar 
Bergadano, Francesco, 1963-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276819
Format: 
Electronic Resources
Alıntı: 
Inductive logic programming : from machine learning to software engineering / Bergadano, Francesco
32. 
Johan van Benthem on Logic and Information Dynamics için kapak resmi
Johan van Benthem on Logic and Information Dynamics
Johan van Benthem on Logic and Information Dynamics
Yazar 
Baltag, Alexandru. editor.
http://dx.doi.org/10.1007/978-3-319-06025-5
Format: 
Electronic Resources
Alıntı: 
Johan van Benthem on Logic and Information Dynamics Baltag, Alexandru. editor.
33. 
Logic programming : proceedings of the 1997 International Symposium için kapak resmi
Logic programming : proceedings of the 1997 International Symposium
Logic programming : proceedings of the 1997 International Symposium
Yazar 
Małuszyński, J. (Jan), 1941-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: 
Electronic Resources
Alıntı: 
Logic programming : proceedings of the 1997 International Symposium / Małuszyński, J. (Jan), 1941-
34. 
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
Logic programming : proceedings of the Tenth International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format: 
Electronic Resources
Alıntı: 
Logic programming : proceedings of the Tenth International Conference on Logic Programming /
35. 
Set theory and logic/ Robert R. Stoll. için kapak resmi
Set theory and logic/ Robert R. Stoll.
Set theory and logic/ Robert R. Stoll.
Yazar 
Stoll, Robert Roth.
Format: 
Kitap
Alıntı: 
Set theory and logic/ Robert R. Stoll. Stoll, Robert Roth.
36. 
Fundamentals of digital logic with Verilog design için kapak resmi
Fundamentals of digital logic with Verilog design
Fundamentals of digital logic with Verilog design
Yazar 
Brown, Stephen D.
Format: 
Kitap
Alıntı: 
Fundamentals of digital logic with Verilog design / Brown, Stephen D.
37. 
High-performance system design : circuits and logic için kapak resmi
High-performance system design : circuits and logic
High-performance system design : circuits and logic
Yazar 
Oklobdzija, Vojin G.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5265197
Format: 
Electronic Resources
Alıntı: 
High-performance system design : circuits and logic / Oklobdzija, Vojin G.
38. 
The Logic of Economic Reform in China için kapak resmi
The Logic of Economic Reform in China
The Logic of Economic Reform in China
Yazar 
Zhang, Xiaojing. author.
http://dx.doi.org/10.1007/978-3-662-47404-4
Format: 
Electronic Resources
Alıntı: 
The Logic of Economic Reform in China Zhang, Xiaojing. author.
39. 
Digital Systems From Logic Gates to Processors için kapak resmi
Digital Systems From Logic Gates to Processors
Digital Systems From Logic Gates to Processors
Yazar 
Deschamps, Jean-Pierre. author.
https://doi.org/10.1007/978-3-319-41198-9
Format: 
Electronic Resources
Alıntı: 
Digital Systems From Logic Gates to Processors / Deschamps, Jean-Pierre. author.
40. 
Declarative logic programming : theory, systems, and applications için kapak resmi
Declarative logic programming : theory, systems, and applications
Declarative logic programming : theory, systems, and applications
Yazar 
Kifer, M. (Michael), 1954-, editor, author.
Abstract with links to full text http://dx.doi.org/10.1145/3191315
Format: 
Electronic Resources
Alıntı: 
Declarative logic programming : theory, systems, and applications / Kifer, M. (Michael), 1954
41. 
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
Logic programming : proceedings of the eleventh International Conference on Logic Programming
Yazar 
Van Hentenryck, Pascal.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Electronic Resources
Alıntı: 
Logic programming : proceedings of the eleventh International Conference on Logic Programming / Van
42. 
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
Logic programming : proceedings of the 1999 International Conference on Logic Programming
Yazar 
De Schreye, Danny.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267511
Format: 
Electronic Resources
Alıntı: 
Logic programming : proceedings of the 1999 International Conference on Logic Programming / De
43. 
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
Logic programming : proceedings of the Fourteenth International Conference on Logic Programming
Yazar 
International Conference on Logic Programming (14th : 1997 : Leuven, Belgium)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: 
Electronic Resources
Alıntı: 
Logic programming : proceedings of the Fourteenth International Conference on Logic Programming /
44. 
Past and Present Interactions in Legal Reasoning and Logic için kapak resmi
Past and Present Interactions in Legal Reasoning and Logic
Past and Present Interactions in Legal Reasoning and Logic
Yazar 
Armgardt, Matthias. editor.
http://dx.doi.org/10.1007/978-3-319-16021-4
Format: 
Electronic Resources
Alıntı: 
Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social
45. 
Postmodernism, or, The cultural logic of late capitalism için kapak resmi
Postmodernism, or, The cultural logic of late capitalism
Postmodernism, or, The cultural logic of late capitalism
Yazar 
Jameson, Fredric.
Format: 
Kitap
Alıntı: 
Postmodernism, or, The cultural logic of late capitalism/ Jameson, Fredric.
46. 
Introduction to Discrete Mathematics via Logic and Proof için kapak resmi
Introduction to Discrete Mathematics via Logic and Proof
Introduction to Discrete Mathematics via Logic and Proof
Yazar 
Jongsma, Calvin. author.
https://doi.org/10.1007/978-3-030-25358-5
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
47. 
Logic Synthesis for FPGA-Based Finite State Machines için kapak resmi
Logic Synthesis for FPGA-Based Finite State Machines
Logic Synthesis for FPGA-Based Finite State Machines
Yazar 
Barkalov, Alexander. author.
http://dx.doi.org/10.1007/978-3-319-24202-6
Format: 
Electronic Resources
Alıntı: 
Logic Synthesis for FPGA-Based Finite State Machines Barkalov, Alexander. author.
48. 
Fuzzy Logic An Introductory Course for Engineering Students için kapak resmi
Fuzzy Logic An Introductory Course for Engineering Students
Fuzzy Logic An Introductory Course for Engineering Students
Yazar 
Trillas, Enric. author.
http://dx.doi.org/10.1007/978-3-319-14203-6
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic An Introductory Course for Engineering Students / Trillas, Enric. author.
49. 
Introduction to Logic Circuits & Logic Design with VHDL için kapak resmi
Introduction to Logic Circuits & Logic Design with VHDL
Introduction to Logic Circuits & Logic Design with VHDL
Yazar 
LaMeres, Brock J. author.
https://doi.org/10.1007/978-3-319-34195-8
Format: 
Electronic Resources
Alıntı: 
Introduction to Logic Circuits & Logic Design with VHDL LaMeres, Brock J. author.
50. 
Introduction to Logic Circuits & Logic Design with Verilog için kapak resmi
Introduction to Logic Circuits & Logic Design with Verilog
Introduction to Logic Circuits & Logic Design with Verilog
Yazar 
LaMeres, Brock J. author.
https://doi.org/10.1007/978-3-319-53883-9
Format: 
Electronic Resources
Alıntı: 
Introduction to Logic Circuits & Logic Design with Verilog LaMeres, Brock J. author.
51. 
A Practical Introduction to Fuzzy Logic using LISP için kapak resmi
A Practical Introduction to Fuzzy Logic using LISP
A Practical Introduction to Fuzzy Logic using LISP
Yazar 
Argüelles Mendez, Luis. author.
http://dx.doi.org/10.1007/978-3-319-23186-0
Format: 
Electronic Resources
Alıntı: 
A Practical Introduction to Fuzzy Logic using LISP Argüelles Mendez, Luis. author.
52. 
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment için kapak resmi
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
Yazar 
Di Nola, Antonio. author.
http://dx.doi.org/10.1007/978-3-319-30406-9
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment Di Nola, Antonio. author.
53. 
Fifty Years of Fuzzy Logic and its Applications için kapak resmi
Fifty Years of Fuzzy Logic and its Applications
Fifty Years of Fuzzy Logic and its Applications
Yazar 
Tamir, Dan E. editor.
http://dx.doi.org/10.1007/978-3-319-19683-1
Format: 
Electronic Resources
Alıntı: 
Fifty Years of Fuzzy Logic and its Applications Tamir, Dan E. editor.
54. 
Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language için kapak resmi
Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
Yazar 
Torza, Alessandro. editor.
http://dx.doi.org/10.1007/978-3-319-18362-6
Format: 
Electronic Resources
Alıntı: 
Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language Torza
56. 
Logic Functions and Equations Binary Models for Computer Science için kapak resmi
Logic Functions and Equations Binary Models for Computer Science
Logic Functions and Equations Binary Models for Computer Science
Yazar 
Posthoff, Christian. author.
https://doi.org/10.1007/978-3-030-02420-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
57. 
Digital Logic Design Using Verilog Coding and RTL Synthesis için kapak resmi
Digital Logic Design Using Verilog Coding and RTL Synthesis
Digital Logic Design Using Verilog Coding and RTL Synthesis
Yazar 
Taraate, Vaibbhav. author.
http://dx.doi.org/10.1007/978-81-322-2791-5
Format: 
Electronic Resources
Alıntı: 
Digital Logic Design Using Verilog Coding and RTL Synthesis / Taraate, Vaibbhav. author.
58. 
Fuzzy Logic in Intelligent System Design Theory and Applications için kapak resmi
Fuzzy Logic in Intelligent System Design Theory and Applications
Fuzzy Logic in Intelligent System Design Theory and Applications
Yazar 
Melin, Patricia. editor.
https://doi.org/10.1007/978-3-319-67137-6
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic in Intelligent System Design Theory and Applications / Melin, Patricia. editor.
59. 
On Sets and Graphs Perspectives on Logic and Combinatorics için kapak resmi
On Sets and Graphs Perspectives on Logic and Combinatorics
On Sets and Graphs Perspectives on Logic and Combinatorics
Yazar 
Omodeo, Eugenio G. author.
https://doi.org/10.1007/978-3-319-54981-1
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
60. 
Reversible Logic Synthesis Methodologies with Application to Quantum Computing için kapak resmi
Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Yazar 
Taha, Saleem Mohammed Ridha. author.
http://dx.doi.org/10.1007/978-3-319-23479-3
Format: 
Electronic Resources
Alıntı: 
Reversible Logic Synthesis Methodologies with Application to Quantum Computing Taha, Saleem
61. 
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics Dialogue, Rationality, and Formalism için kapak resmi
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics Dialogue, Rationality, and Formalism
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics Dialogue, Rationality, and Formalism
Yazar 
Rebuschi, Manuel. editor.
http://dx.doi.org/10.1007/978-3-319-03044-9
Format: 
Electronic Resources
Alıntı: 
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics Dialogue, Rationality
62. 
A model discipline : political science and the logic of representations için kapak resmi
A model discipline : political science and the logic of representations
A model discipline : political science and the logic of representations
Yazar 
Clarke, Kevin A.
Format: 
Kitap
Alıntı: 
A model discipline : political science and the logic of representations / Clarke, Kevin A.
63. 
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs için kapak resmi
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Yazar 
Ayala-Rincón, Mauricio. author.
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
64. 
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System için kapak resmi
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System
Yazar 
Ahmed, Jameel. author.
https://doi.org/10.1007/978-981-10-3120-5
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System Ahmed, Jameel. author.
65. 
Fuzzy Logic for Image Processing A Gentle Introduction Using Java için kapak resmi
Fuzzy Logic for Image Processing A Gentle Introduction Using Java
Fuzzy Logic for Image Processing A Gentle Introduction Using Java
Yazar 
Caponetti, Laura. author.
https://doi.org/10.1007/978-3-319-44130-6
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic for Image Processing A Gentle Introduction Using Java / Caponetti, Laura. author.
66. 
New Data Structures and Algorithms for Logic Synthesis and Verification için kapak resmi
New Data Structures and Algorithms for Logic Synthesis and Verification
New Data Structures and Algorithms for Logic Synthesis and Verification
Yazar 
Amaru, Luca Gaetano. author.
https://doi.org/10.1007/978-3-319-43174-1
Format: 
Electronic Resources
Alıntı: 
New Data Structures and Algorithms for Logic Synthesis and Verification Amaru, Luca Gaetano. author.
67. 
Representation Theorems in Computer Science A Treatment in Logic Engineering için kapak resmi
Representation Theorems in Computer Science A Treatment in Logic Engineering
Representation Theorems in Computer Science A Treatment in Logic Engineering
Yazar 
Özçep, Özgür Lütfü. author.
https://doi.org/10.1007/978-3-030-25785-9
Format: 
Electronic Resources
Alıntı: 
Representation Theorems in Computer Science A Treatment in Logic Engineering / Özçep, Özgür Lütfü
68. 
Understanding neural networks and fuzzy logic : basic concepts and applications için kapak resmi
Understanding neural networks and fuzzy logic : basic concepts and applications
Understanding neural networks and fuzzy logic : basic concepts and applications
Yazar 
Kartalopoulos, Stamatios V., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273099
Format: 
Electronic Resources
Alıntı: 
Understanding neural networks and fuzzy logic : basic concepts and applications / Kartalopoulos
69. 
Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic için kapak resmi
Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic
Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic
Yazar 
Gonzalez, Claudia I. author.
https://doi.org/10.1007/978-3-319-53994-2
Format: 
Electronic Resources
Alıntı: 
Edge Detection Methods Based on Generalized Type-2 Fuzzy Logic Gonzalez, Claudia I. author.
70. 
Introduction to type-2 fuzzy logic control : theory and applications için kapak resmi
Introduction to type-2 fuzzy logic control : theory and applications
Introduction to type-2 fuzzy logic control : theory and applications
Yazar 
Mendel, Jerry M., 1938-, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6852062
Format: 
Electronic Resources
Alıntı: 
Introduction to type-2 fuzzy logic control : theory and applications / Mendel, Jerry M., 1938
71. 
Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms için kapak resmi
Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms
Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms
Yazar 
Benis-Sinaceur, Hourya. author.
http://dx.doi.org/10.1007/978-3-319-17109-8
Format: 
Electronic Resources
Alıntı: 
Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms / Benis-Sinaceur
72. 
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms için kapak resmi
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms
Yazar 
Akay, Metin.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263178
Format: 
Electronic Resources
Alıntı: 
Nonlinear biomedical signal processing. Volume 1, Fuzzy logic, neural networks, and new algorithms /
73. 
One world, ready or not : the manic logic of global capitalism için kapak resmi
One world, ready or not : the manic logic of global capitalism
One world, ready or not : the manic logic of global capitalism
Yazar 
Greider, William.
Format: 
Kitap
Alıntı: 
One world, ready or not : the manic logic of global capitalism/ Greider, William.
74. 
From Logic to Practice Italian Studies in the Philosophy of Mathematics için kapak resmi
From Logic to Practice Italian Studies in the Philosophy of Mathematics
From Logic to Practice Italian Studies in the Philosophy of Mathematics
Yazar 
Lolli, Gabriele. editor.
http://dx.doi.org/10.1007/978-3-319-10434-8
Format: 
Electronic Resources
Alıntı: 
From Logic to Practice Italian Studies in the Philosophy of Mathematics / Lolli, Gabriele. editor.
75. 
Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications için kapak resmi
Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications
Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications
Yazar 
Castillo, Oscar. editor.
http://dx.doi.org/10.1007/978-3-319-10960-2
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics Theory and Applications /
76. 
Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing için kapak resmi
Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing
Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing
Yazar 
Seising, Rudolf. editor.
https://doi.org/10.1007/978-3-319-48317-7
Format: 
Electronic Resources
Alıntı: 
Claudio Moraga: A Passion for Multi-Valued Logic and Soft Computing Seising, Rudolf. editor.
77. 
Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA için kapak resmi
Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA
Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA
Yazar 
Ponce-Cruz, Pedro. author.
http://dx.doi.org/10.1007/978-3-319-26656-5
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic Type 1 and Type 2 Based on LabVIEW™ FPGA Ponce-Cruz, Pedro. author.
78. 
Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks için kapak resmi
Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks
Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks
Yazar 
Lin, Pey-Chang Kent. author.
http://dx.doi.org/10.1007/978-1-4614-9429-4
Format: 
Electronic Resources
Alıntı: 
Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks / Lin, Pey
79. 
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 için kapak resmi
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995
Yazar 
Sterling, Leon S., editor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Electronic Resources
Alıntı: 
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / Sterling
80. 
Logic programming and non-monotonic reasoning : proceedings of the first international workshop için kapak resmi
Logic programming and non-monotonic reasoning : proceedings of the first international workshop
Logic programming and non-monotonic reasoning : proceedings of the first international workshop
Yazar 
Nerode, Anil, 1932-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: 
Electronic Resources
Alıntı: 
Logic programming and non-monotonic reasoning : proceedings of the first international workshop /
81. 
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
Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Yazar 
Maher, Michael, 1959-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Electronic Resources
Alıntı: 
Logic programming : proceedings of the 1996 Joint International Conference and Symposium on Logic
82. 
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic için kapak resmi
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
Yazar 
Trillas, Enric. author.
https://doi.org/10.1007/978-3-319-56053-3
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
83. 
Fuzzy Logic Control in Energy Systems with design applications in MATLAB�/Simulink� için kapak resmi
Fuzzy Logic Control in Energy Systems with design applications in MATLAB�/Simulink�
Fuzzy Logic Control in Energy Systems with design applications in MATLAB�/Simulink�
Yazar 
Altas, Ismail H.
http://dx.doi.org/10.1049/PBPO091E
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic Control in Energy Systems with design applications in MATLAB�/Simulink� Altas, Ismail H.
84. 
Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS için kapak resmi
Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS
Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in NanoCMOS
Yazar 
Posser, Gracieli. author.
https://doi.org/10.1007/978-3-319-48899-8
Format: 
Electronic Resources
Alıntı: 
Electromigration Inside Logic Cells Modeling, Analyzing and Mitigating Signal Electromigration in
85. 
Fuzzy Logic in Its 50th Year New Developments, Directions and Challenges için kapak resmi
Fuzzy Logic in Its 50th Year New Developments, Directions and Challenges
Fuzzy Logic in Its 50th Year New Developments, Directions and Challenges
Yazar 
Kahraman, Cengiz. editor.
http://dx.doi.org/10.1007/978-3-319-31093-0
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic in Its 50th Year New Developments, Directions and Challenges / Kahraman, Cengiz. editor.
87. 
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
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets
Yazar 
Gregg, John. author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format: 
Electronic Resources
Alıntı: 
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / Gregg
88. 
Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic için kapak resmi
Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic
Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic
Yazar 
Olivas, Frumen. author.
https://doi.org/10.1007/978-3-319-70851-5
Format: 
Electronic Resources
Alıntı: 
Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic
89. 
Word Games, Riddles and Logic Tests Tax Your Brain and Boost Your English için kapak resmi
Word Games, Riddles and Logic Tests Tax Your Brain and Boost Your English
Word Games, Riddles and Logic Tests Tax Your Brain and Boost Your English
Yazar 
Wallwork, Adrian. author.
https://doi.org/10.1007/978-3-319-67241-0
Format: 
Electronic Resources
Alıntı: 
Word Games, Riddles and Logic Tests Tax Your Brain and Boost Your English / Wallwork, Adrian
90. 
The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm için kapak resmi
The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm
The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm
Yazar 
Mazzola, Guerino. author.
https://doi.org/10.1007/978-3-319-64364-9
Format: 
Electronic Resources
Alıntı: 
The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives
91. 
Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications için kapak resmi
Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications
Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications
Yazar 
Castillo, Oscar. editor.
https://doi.org/10.1007/978-3-319-71008-2
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real
92. 
The outer limits of reason : what science, mathematics, and logic cannot tell us için kapak resmi
The outer limits of reason : what science, mathematics, and logic cannot tell us
The outer limits of reason : what science, mathematics, and logic cannot tell us
Yazar 
Yanofsky, Noson S., 1967-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6642245
Format: 
Electronic Resources
Alıntı: 
The outer limits of reason : what science, mathematics, and logic cannot tell us / Yanofsky, Noson
93. 
Learning and soft computing : support vector machines, neural networks, and fuzzy logic models için kapak resmi
Learning and soft computing : support vector machines, neural networks, and fuzzy logic models
Learning and soft computing : support vector machines, neural networks, and fuzzy logic models
Yazar 
Kecman, V. (Vojislav), 1948-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294
Format: 
Electronic Resources
Alıntı: 
Learning and soft computing : support vector machines, neural networks, and fuzzy logic models /
94. 
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications için kapak resmi
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
Yazar 
Janjua, Naeem Khalid. author.
http://dx.doi.org/10.1007/978-3-319-03949-7
Format: 
Electronic Resources
Alıntı: 
A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web
95. 
Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms için kapak resmi
Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms
Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms
Yazar 
Siddique, Nazmul. author.
http://dx.doi.org/10.1007/978-3-319-02135-5
Format: 
Electronic Resources
Alıntı: 
Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms /
96. 
Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization için kapak resmi
Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization
Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization
Yazar 
Melin, Patricia. editor.
http://dx.doi.org/10.1007/978-3-319-17747-2
Format: 
Electronic Resources
Alıntı: 
Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired
97. 
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
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Yazar 
O'Regan, Gerard. author.
http://dx.doi.org/10.1007/978-3-319-44561-8
Format: 
Electronic Resources
Alıntı: 
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and
98. 
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications için kapak resmi
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications
Yazar 
de Barros, Laécio Carvalho. author.
https://doi.org/10.1007/978-3-662-53324-6
Format: 
Electronic Resources
Alıntı: 
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics Theory and Applications /
99. 
The upside of irrationality : the unexpected benefits of defying logic at work and at home için kapak resmi
The upside of irrationality : the unexpected benefits of defying logic at work and at home
The upside of irrationality : the unexpected benefits of defying logic at work and at home
Yazar 
Ariely, Dan.
Format: 
Kitap
Alıntı: 
The upside of irrationality : the unexpected benefits of defying logic at work and at home/ Ariely
100. 
Re-imaging the City A New Conceptualisation of the Urban Logic of the “Islamic city” için kapak resmi
Re-imaging the City A New Conceptualisation of the Urban Logic of the “Islamic city”
Re-imaging the City A New Conceptualisation of the Urban Logic of the “Islamic city”
Yazar 
Falahat, Somaiyeh. author.
http://dx.doi.org/10.1007/978-3-658-04596-8
Format: 
Electronic Resources
Alıntı: 
Re-imaging the City A New Conceptualisation of the Urban Logic of the “Islamic city” / Falahat
101. 
Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution için kapak resmi
Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution
Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution
Yazar 
John, Robert. editor.
https://doi.org/10.1007/978-3-319-72892-6
Format: 
Electronic Resources
Alıntı: 
Type-2 Fuzzy Logic and Systems Dedicated to Professor Jerry Mendel for his Pioneering Contribution /
102. 
Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic için kapak resmi
Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic
Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic
Yazar 
Magdalena, Luis. editor.
http://dx.doi.org/10.1007/978-3-319-16235-5
Format: 
Electronic Resources
Alıntı: 
Enric Trillas: A Passion for Fuzzy Sets A Collection of Recent Works on Fuzzy Logic / Magdalena
103. 
Fuzzy Logic and Information Fusion To commemorate the 70th birthday of Professor Gaspar Mayor için kapak resmi
Fuzzy Logic and Information Fusion To commemorate the 70th birthday of Professor Gaspar Mayor
Fuzzy Logic and Information Fusion To commemorate the 70th birthday of Professor Gaspar Mayor
Yazar 
Calvo Sánchez, Tomasa. editor.
http://dx.doi.org/10.1007/978-3-319-30421-2
Format: 
Electronic Resources
Alıntı: 
Fuzzy Logic and Information Fusion To commemorate the 70th birthday of Professor Gaspar Mayor /
105. 
Predictioneer's game : using the logic of brazen self-interest to see and shape the future için kapak resmi
Predictioneer's game : using the logic of brazen self-interest to see and shape the future
Predictioneer's game : using the logic of brazen self-interest to see and shape the future
Yazar 
Bueno de Mesquita, Bruce.
Format: 
Kitap
Alıntı: 
Predictioneer's game : using the logic of brazen self-interest to see and shape the future / Bueno
106. 
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings için kapak resmi
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings
Yazar 
Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703
https://doi.org/10.1007/978-3-319-99960-9
Format: 
Electronic Resources
Alıntı: 
Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4
108. 
The trivium : the liberal arts of logic, grammar, and rhetoric understanding the nature and function of language için kapak resmi
The trivium : the liberal arts of logic, grammar, and rhetoric understanding the nature and function of language
The trivium : the liberal arts of logic, grammar, and rhetoric understanding the nature and function of language
Yazar 
Miriam Joseph, Sister.
Format: 
Kitap
Alıntı: 
The trivium : the liberal arts of logic, grammar, and rhetoric understanding the nature and
109. 
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings için kapak resmi
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Yazar 
Khan, Md. Aquil. editor.
https://doi.org/10.1007/978-3-662-58771-3
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
110. 
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings için kapak resmi
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Yazar 
Ghosh, Sujata. editor.
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
114. 
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings için kapak resmi
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Yazar 
Banerjee, Mohua. editor.
http://dx.doi.org/10.1007/978-3-662-45824-2
Format: 
Electronic Resources
Alıntı: 
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015
117. 
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday için kapak resmi
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Yazar 
Martí-Oliet, Narciso. editor.
http://dx.doi.org/10.1007/978-3-319-23165-5
Format: 
Electronic Resources
Alıntı: 
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th
119. 
The logic of design process : invention and discovery in light of the semiotics of Charles S. Peirce için kapak resmi
The logic of design process : invention and discovery in light of the semiotics of Charles S. Peirce
The logic of design process : invention and discovery in light of the semiotics of Charles S. Peirce
Yazar 
Costa e Silva, Tiago da.
Format: 
Kitap
Alıntı: 
The logic of design process : invention and discovery in light of the semiotics of Charles S
120. 
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings için kapak resmi
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Yazar 
Gallagher, John P. editor. (orcid)0000-0001-6984-7419
https://doi.org/10.1007/978-3-319-90686-7
Format: 
Electronic Resources
Alıntı: 
Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11
130. 
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings için kapak resmi
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Yazar 
Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017
https://doi.org/10.1007/978-3-319-73579-5
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market
136. 
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday için kapak resmi
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Yazar 
Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-23534-9
Format: 
Electronic Resources
Alıntı: 
Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th
179. 
Warren's abstract machine : a tutorial reconstruction için kapak resmi
Warren's abstract machine : a tutorial reconstruction
Warren's abstract machine : a tutorial reconstruction
Yazar 
Aït-Kaci, Hassan, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format: 
Electronic Resources
Alıntı: 
Logic programming.
180. 
Category theory için kapak resmi
Category theory
Category theory
Yazar 
Awodey, Steve.
Format: 
Kitap
Alıntı: 
Oxford logic guides ;
181. 
Nuel Belnap on Indeterminism and Free Action için kapak resmi
Nuel Belnap on Indeterminism and Free Action
Nuel Belnap on Indeterminism and Free Action
Yazar 
Müller, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-01754-9
Format: 
Electronic Resources
Alıntı: 
Outstanding Contributions to Logic,
182. 
Leo Esakia on Duality in Modal and Intuitionistic Logics için kapak resmi
Leo Esakia on Duality in Modal and Intuitionistic Logics
Leo Esakia on Duality in Modal and Intuitionistic Logics
Yazar 
Bezhanishvili, Guram. editor.
http://dx.doi.org/10.1007/978-94-017-8860-1
Format: 
Electronic Resources
Alıntı: 
Leo Esakia on Duality in Modal and Intuitionistic Logics Bezhanishvili, Guram. editor.
183. 
Dag Prawitz on Proofs and Meaning için kapak resmi
Dag Prawitz on Proofs and Meaning
Dag Prawitz on Proofs and Meaning
Yazar 
Wansing, Heinrich. editor.
http://dx.doi.org/10.1007/978-3-319-11041-7
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations.
184. 
David Makinson on Classical Methods for Non-Classical Problems için kapak resmi
David Makinson on Classical Methods for Non-Classical Problems
David Makinson on Classical Methods for Non-Classical Problems
Yazar 
Hansson, Sven Ove. editor.
http://dx.doi.org/10.1007/978-94-007-7759-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages.
185. 
The Practice of Prolog için kapak resmi
The Practice of Prolog
The Practice of Prolog
Yazar 
Sterling, Leon.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format: 
Electronic Resources
Alıntı: 
Logic programming.
186. 
A Model–Theoretic Approach to Proof Theory için kapak resmi
A Model–Theoretic Approach to Proof Theory
A Model–Theoretic Approach to Proof Theory
Yazar 
Kotlarski, Henryk. author.
https://doi.org/10.1007/978-3-030-28921-8
Format: 
Electronic Resources
Alıntı: 
Trends in Logic, Studia Logica Library,
187. 
Heyting Algebras Duality Theory için kapak resmi
Heyting Algebras Duality Theory
Heyting Algebras Duality Theory
Yazar 
Esakia, Leo. author.
https://doi.org/10.1007/978-3-030-12096-2
Format: 
Electronic Resources
Alıntı: 
Trends in Logic, Studia Logica Library,
188. 
Dialetheism and its Applications için kapak resmi
Dialetheism and its Applications
Dialetheism and its Applications
Yazar 
Rieger, Adam. editor.
https://doi.org/10.1007/978-3-030-30221-4
Format: 
Electronic Resources
Alıntı: 
Trends in Logic, Studia Logica Library,
189. 
Vague Objects and Vague Identity New Essays on Ontic Vagueness için kapak resmi
Vague Objects and Vague Identity New Essays on Ontic Vagueness
Vague Objects and Vague Identity New Essays on Ontic Vagueness
Yazar 
Akiba, Ken. editor.
http://dx.doi.org/10.1007/978-94-007-7978-5
Format: 
Electronic Resources
Alıntı: 
Logic, Epistemology, and the Unity of Science,
191. 
Unifying the Philosophy of Truth için kapak resmi
Unifying the Philosophy of Truth
Unifying the Philosophy of Truth
Yazar 
Achourioti, Theodora. editor.
http://dx.doi.org/10.1007/978-94-017-9673-6
Format: 
Electronic Resources
Alıntı: 
Logic, Epistemology, and the Unity of Science,
192. 
Pluralism in Mathematics: A New Position in Philosophy of Mathematics için kapak resmi
Pluralism in Mathematics: A New Position in Philosophy of Mathematics
Pluralism in Mathematics: A New Position in Philosophy of Mathematics
Yazar 
Friend, Michèle. author.
http://dx.doi.org/10.1007/978-94-007-7058-4
Format: 
Electronic Resources
Alıntı: 
Logic, Epistemology, and the Unity of Science,
193. 
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer için kapak resmi
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
Yazar 
Atten, Mark van. author.
http://dx.doi.org/10.1007/978-3-319-10031-9
Format: 
Electronic Resources
Alıntı: 
Logic, Epistemology, and the Unity of Science,
194. 
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior için kapak resmi
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Temporal Type Theory A Topos-Theoretic Approach to Systems and Behavior
Yazar 
Schultz, Patrick. author.
https://doi.org/10.1007/978-3-030-00704-1
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
195. 
Concurrent constraint programming için kapak resmi
Concurrent constraint programming
Concurrent constraint programming
Yazar 
Saraswat, Vijay, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500
Format: 
Electronic Resources
Alıntı: 
Logic programming
196. 
The Concept of Argument A Philosophical Foundation için kapak resmi
The Concept of Argument A Philosophical Foundation
The Concept of Argument A Philosophical Foundation
Yazar 
Wohlrapp, Harald R. author.
http://dx.doi.org/10.1007/978-94-017-8762-8
Format: 
Electronic Resources
Alıntı: 
Logic, Argumentation & Reasoning, Interdisciplinary Perspectives from the Humanities and Social
197. 
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics için kapak resmi
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics
Yazar 
Montano, Ulianov. author.
http://dx.doi.org/10.1007/978-3-319-03452-2
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
198. 
Epistemology, Context, and Formalism için kapak resmi
Epistemology, Context, and Formalism
Epistemology, Context, and Formalism
Yazar 
Lihoreau, Franck. editor.
http://dx.doi.org/10.1007/978-3-319-02943-6
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
199. 
Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context için kapak resmi
Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context
Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context
Yazar 
Calosi, Claudio. editor.
http://dx.doi.org/10.1007/978-3-319-05356-1
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
200. 
Axiomatic Method and Category Theory için kapak resmi
Axiomatic Method and Category Theory
Axiomatic Method and Category Theory
Yazar 
Rodin, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-00404-4
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
201. 
Alexius Meinong, The Shepherd of Non-Being için kapak resmi
Alexius Meinong, The Shepherd of Non-Being
Alexius Meinong, The Shepherd of Non-Being
Yazar 
Jacquette, Dale. author.
http://dx.doi.org/10.1007/978-3-319-18075-5
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
202. 
Virtue Epistemology Naturalized Bridges Between Virtue Epistemology and Philosophy of Science için kapak resmi
Virtue Epistemology Naturalized Bridges Between Virtue Epistemology and Philosophy of Science
Virtue Epistemology Naturalized Bridges Between Virtue Epistemology and Philosophy of Science
Yazar 
Fairweather, Abrol. editor.
http://dx.doi.org/10.1007/978-3-319-04672-3
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
203. 
Bas van Fraassen’s Approach to Representation and Models in Science için kapak resmi
Bas van Fraassen’s Approach to Representation and Models in Science
Bas van Fraassen’s Approach to Representation and Models in Science
Yazar 
Gonzalez, Wenceslao J. editor.
http://dx.doi.org/10.1007/978-94-007-7838-2
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
204. 
The Philosophy of Information Quality için kapak resmi
The Philosophy of Information Quality
The Philosophy of Information Quality
Yazar 
Floridi, Luciano. editor.
http://dx.doi.org/10.1007/978-3-319-07121-3
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
205. 
Applications of Conceptual Spaces The Case for Geometric Knowledge Representation için kapak resmi
Applications of Conceptual Spaces The Case for Geometric Knowledge Representation
Applications of Conceptual Spaces The Case for Geometric Knowledge Representation
Yazar 
Zenker, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-15021-5
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
206. 
Artefact Kinds Ontology and the Human-Made World için kapak resmi
Artefact Kinds Ontology and the Human-Made World
Artefact Kinds Ontology and the Human-Made World
Yazar 
Franssen, Maarten. editor.
http://dx.doi.org/10.1007/978-3-319-00801-1
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
207. 
Rethinking the Individualism-Holism Debate Essays in the Philosophy of Social Science için kapak resmi
Rethinking the Individualism-Holism Debate Essays in the Philosophy of Social Science
Rethinking the Individualism-Holism Debate Essays in the Philosophy of Social Science
Yazar 
Zahle, Julie. editor.
http://dx.doi.org/10.1007/978-3-319-05344-8
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
208. 
Explanation in the Special Sciences The Case of Biology and History için kapak resmi
Explanation in the Special Sciences The Case of Biology and History
Explanation in the Special Sciences The Case of Biology and History
Yazar 
Kaiser, Marie I. editor.
http://dx.doi.org/10.1007/978-94-007-7563-3
Format: 
Electronic Resources
Alıntı: 
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
210. 
Poincaré, Philosopher of Science Problems and Perspectives için kapak resmi
Poincaré, Philosopher of Science Problems and Perspectives
Poincaré, Philosopher of Science Problems and Perspectives
Yazar 
de Paz, María. editor.
http://dx.doi.org/10.1007/978-94-017-8780-2
Format: 
Electronic Resources
Alıntı: 
, Methodology, Epistemology, Logic, History of Science, and Related Fields,
211. 
Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle için kapak resmi
Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle
Incompleteness for Higher-Order Arithmetic An Example Based on Harrington’s Principle
Yazar 
Cheng, Yong. author.
https://doi.org/10.1007/978-981-13-9949-7
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
212. 
Mastermind : Sherlock Holmes gibi düşünmek için kapak resmi
Mastermind : Sherlock Holmes gibi düşünmek
Mastermind : Sherlock Holmes gibi düşünmek
Yazar 
Konnikova, Maria.
Format: 
Kitap
Alıntı: 
Logic.
213. 
Mantık bilimi : büyük mantık için kapak resmi
Mantık bilimi : büyük mantık
Mantık bilimi : büyük mantık
Yazar 
Hegel, Georg Wilhelm Friedrich.
Format: 
Kitap
Alıntı: 
Logic.
214. 
Akıl dediğimiz şey : aforizmalar için kapak resmi
Akıl dediğimiz şey : aforizmalar
Akıl dediğimiz şey : aforizmalar
Yazar 
Hegel, Georg Wilhelm Friedrich.
Format: 
Kitap
Alıntı: 
Logic.
215. 
Being logical : a guide to good thinking için kapak resmi
Being logical : a guide to good thinking
Being logical : a guide to good thinking
Yazar 
McInerny, D. Q.
Format: 
Kitap
Alıntı: 
Logic.
216. 
Kıstâsu'l-efkâr : düşüncenin kıstası için kapak resmi
Kıstâsu'l-efkâr : düşüncenin kıstası
Kıstâsu'l-efkâr : düşüncenin kıstası
Yazar 
Şemsüddin Es-Semerkandi.
Format: 
Kitap
Alıntı: 
Logic.
217. 
El-kıstasü’l-Müstakim : dosdoğru ölçü için kapak resmi
El-kıstasü’l-Müstakim : dosdoğru ölçü
El-kıstasü’l-Müstakim : dosdoğru ölçü
Yazar 
Ebu Hamid el-Gazzali.
Format: 
Kitap
Alıntı: 
Logic.
220. 
Mîzânu'l-ukûl : mantık ve metodoloji için kapak resmi
Mîzânu'l-ukûl : mantık ve metodoloji
Mîzânu'l-ukûl : mantık ve metodoloji
Yazar 
Ali Sedat bin Cevdet.
Format: 
Kitap
Alıntı: 
Logic.
221. 
Belief Change Introduction and Overview için kapak resmi
Belief Change Introduction and Overview
Belief Change Introduction and Overview
Yazar 
Fermé, Eduardo. author.
https://doi.org/10.1007/978-3-319-60535-7
Format: 
Electronic Resources
Alıntı: 
Logic. http://scigraph.springernature.com/things/product-market-codes/E16000
222. 
Logics for Computer Science Classical and Non-Classical için kapak resmi
Logics for Computer Science Classical and Non-Classical
Logics for Computer Science Classical and Non-Classical
Yazar 
Wasilewska, Anita. author.
https://doi.org/10.1007/978-3-319-92591-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
223. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author.
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
224. 
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings için kapak resmi
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Yazar 
Ranzato, Francesco. editor. (orcid)0000-0003-0159-0068
https://doi.org/10.1007/978-3-319-66706-5
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
225. 
Combinatorial Set Theory of C*-algebras için kapak resmi
Combinatorial Set Theory of C*-algebras
Combinatorial Set Theory of C*-algebras
Yazar 
Farah, Ilijas. author.
https://doi.org/10.1007/978-3-030-27093-3
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
231. 
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings için kapak resmi
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Yazar 
Chang, Bor-Yuh Evan. editor.
https://doi.org/10.1007/978-3-030-32304-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
233. 
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers için kapak resmi
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Yazar 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-319-52228-9
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
235. 
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday için kapak resmi
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Yazar 
Gibson-Robinson, Thomas. editor.
https://doi.org/10.1007/978-3-319-51046-0
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
237. 
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity için kapak resmi
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Yazar 
Zeume, Thomas. author.
https://doi.org/10.1007/978-3-662-54314-6
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
238. 
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday için kapak resmi
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Yazar 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-030-31514-6
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
244. 
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings için kapak resmi
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Yazar 
Abate, Alessandro. editor. (orcid)0000-0002-5627-9093
https://doi.org/10.1007/978-3-319-63501-9
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
246. 
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings için kapak resmi
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Yazar 
Bozzano, Marco. editor. (orcid)0000-0002-4135-103X
https://doi.org/10.1007/978-3-319-64119-5
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
247. 
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings için kapak resmi
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Formal Grammar 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Yazar 
Bernardi, Raffaella. editor.
https://doi.org/10.1007/978-3-662-59648-7
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
249. 
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings için kapak resmi
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Yazar 
Parker, David. editor. (orcid)0000-0003-4137-8862
https://doi.org/10.1007/978-3-030-30281-8
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
250. 
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday için kapak resmi
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Yazar 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
253. 
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings için kapak resmi
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Yazar 
Fodor, Paul. editor. (orcid)0000-0002-2978-676X
https://doi.org/10.1007/978-3-030-31095-0
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
254. 
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings için kapak resmi
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings
Yazar 
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
https://doi.org/10.1007/978-3-319-77313-1
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
263. 
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings için kapak resmi
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Reversible Computation 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings
Yazar 
Thomsen, Michael Kirkedal. editor. (orcid)0000-0003-0922-3609
https://doi.org/10.1007/978-3-030-21500-2
Format: 
Electronic Resources
Alıntı: 
Arithmetic and Logic Structures. https://scigraph.springernature.com/ontologies/product-market
266. 
System Design with Memristor Technologies için kapak resmi
System Design with Memristor Technologies
System Design with Memristor Technologies
Yazar 
Guckert, Lauren
http://dx.doi.org/10.1049/PBCS038E
Format: 
Electronic Resources
Alıntı: 
memristor logic gates
270. 
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings için kapak resmi
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Yazar 
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
https://doi.org/10.1007/978-3-030-33636-3
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
272. 
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings için kapak resmi
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
Yazar 
Mercaş, Robert. editor. (orcid)0000-0001-6034-433X
https://doi.org/10.1007/978-3-030-28796-2
Format: 
Electronic Resources
Alıntı: 
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
274. 
Intention için kapak resmi
Intention
Intention
Yazar 
Anscombe, Gertrude Elizabeth Margaret
Format: 
Kitap
Alıntı: 
Intention (Logic)
275. 
Critique of judgement için kapak resmi
Critique of judgement
Critique of judgement
Yazar 
Kant, Immanuel.
Format: 
Kitap
Alıntı: 
Judgment (Logic)
279. 
Kitâbu’l Burhân : burhân kitabı için kapak resmi
Kitâbu’l Burhân : burhân kitabı
Kitâbu’l Burhân : burhân kitabı
Yazar 
Farabi.
Format: 
Kitap
Alıntı: 
Logic.
280. 
A First Introduction to Quantum Computing and Information için kapak resmi
A First Introduction to Quantum Computing and Information
A First Introduction to Quantum Computing and Information
Yazar 
Zygelman, Bernard. author.
https://doi.org/10.1007/978-3-319-91629-3
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
283. 
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings için kapak resmi
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Yazar 
Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: 
Electronic Resources
Alıntı: 
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Tümünü Seç
1823 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1635)
IEEE Xplore (Online Service), distributor.
(73)
MIT Press, publisher.
(46)
John Wiley & Sons, publisher.
(40)
IEEE Xplore (Online service), distributor.
(36)
Format
Dil
Basım Yılı
Konu
Computer science.
(845)
Artificial intelligence.
(730)
Mathematical Logic and Formal Languages.
(559)
Software engineering.
(546)
Logics and Meanings of Programs.
(484)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope