Artykuły w czasopismach na temat „Logic (symbolic and mathematical)”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Logic (symbolic and mathematical)”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Shore, Richard A. "The Bulletin of Symbolic Logic". Bulletin of Symbolic Logic 1, nr 1 (marzec 1995): 1–3. http://dx.doi.org/10.1017/s107989860000826x.
Pełny tekst źródłaPeckhaus, Volker. "19th Century Logic Between Philosophy and Mathematics". Bulletin of Symbolic Logic 5, nr 4 (grudzień 1999): 433–50. http://dx.doi.org/10.2307/421117.
Pełny tekst źródłaKim, S. H., i N. P. Suh. "Mathematical Foundations for Manufacturing". Journal of Engineering for Industry 109, nr 3 (1.08.1987): 213–18. http://dx.doi.org/10.1115/1.3187121.
Pełny tekst źródłaDavis, Martin. "American Logic in the 1920s". Bulletin of Symbolic Logic 1, nr 3 (wrzesień 1995): 273–78. http://dx.doi.org/10.2307/421156.
Pełny tekst źródłaSato, T., i Y. Kameya. "Parameter Learning of Logic Programs for Symbolic-Statistical Modeling". Journal of Artificial Intelligence Research 15 (1.12.2001): 391–454. http://dx.doi.org/10.1613/jair.912.
Pełny tekst źródłaFirnanda, Dwi Tri Fresti, i Indah Wahyuni. "Semiotic Mathematics Representation Ability Based on Symbolic in Solving SPLSV Problems in Class VII Students". Ta'dib 27, nr 1 (13.06.2024): 205. http://dx.doi.org/10.31958/jt.v27i1.11562.
Pełny tekst źródłaAshok, Dhananjay, Joseph Scott, Sebastian J. Wetzel, Maysum Panju i Vijay Ganesh. "Logic Guided Genetic Algorithms (Student Abstract)". Proceedings of the AAAI Conference on Artificial Intelligence 35, nr 18 (18.05.2021): 15753–54. http://dx.doi.org/10.1609/aaai.v35i18.17873.
Pełny tekst źródłaLobovikov, Vladimir O. "A wonderful analogy between Augustine’s definition of moral-value- functional sense of response-action and Philo’s definition of truth-functional sense of implication in logic". CIENCIA ergo sum 27, nr 3 (12.08.2020): e94. http://dx.doi.org/10.30878/ces.v27n3a4.
Pełny tekst źródłaRiede, U. N., Joh Kensuke i G. William Moore. "Symbolic logic model of cellular adaptation". Mathematical Modelling 7, nr 9-12 (1986): 1301–23. http://dx.doi.org/10.1016/0270-0255(86)90082-5.
Pełny tekst źródłaRAHEEM Tunde Rasheed i SAM-KAYODE Christianah Olajumoke (Ph. D). "The Use of Truth Table, Logical Reasoning and Logic Gate in Teaching and Learning Process". International Journal of Latest Technology in Engineering Management & Applied Science 13, nr 6 (28.06.2024): 1–12. http://dx.doi.org/10.51583/ijltemas.2024.130601.
Pełny tekst źródłaMosser, Kurt. "The Grammatical Background of Kant's General Logic". Kantian Review 13, nr 1 (marzec 2008): 116–40. http://dx.doi.org/10.1017/s1369415400001114.
Pełny tekst źródłaMiguel Tomé, Sergio. "Towards a model-theoretic framework for describing the semantic aspects of cognitive processes". ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal 8, nr 4 (22.04.2020): 83–96. http://dx.doi.org/10.14201/adcaij2019848396.
Pełny tekst źródłaFerreirós, José. "La lógica matemática: una disciplina en busca de encuadre". THEORIA 25, nr 3 (27.09.2010): 279–99. http://dx.doi.org/10.1387/theoria.717.
Pełny tekst źródłaScott, Joseph, Maysum Panju i Vijay Ganesh. "LGML: Logic Guided Machine Learning (Student Abstract)". Proceedings of the AAAI Conference on Artificial Intelligence 34, nr 10 (3.04.2020): 13909–10. http://dx.doi.org/10.1609/aaai.v34i10.7227.
Pełny tekst źródłaZhang, Hehua, Yu Jiang, William N. N. Hung, Xiaoyu Song, Ming Gu i Jiaguang Sun. "Symbolic Analysis of Programmable Logic Controllers". IEEE Transactions on Computers 63, nr 10 (październik 2014): 2563–75. http://dx.doi.org/10.1109/tc.2013.124.
Pełny tekst źródłaMezhoud, Salim. "Language Mathematics and Mathematics Language, Reading from Computational Linguistics". Mathematical Linguistics 1, nr 1 (31.12.2021): 7–24. http://dx.doi.org/10.58205/ml.v1i1.140.
Pełny tekst źródłaAmendola, Giovanni. "Special Issue on Logic-Based Artificial Intelligence". Algorithms 16, nr 2 (13.02.2023): 106. http://dx.doi.org/10.3390/a16020106.
Pełny tekst źródłaHellman, Geoffrey. "Stewart Shapiro. Second-order languages and mathematical practice. The journal of symbolic logic, vol. 50 (1985), pp. 714–742." Journal of Symbolic Logic 54, nr 1 (marzec 1989): 291–93. http://dx.doi.org/10.2307/2275038.
Pełny tekst źródłaZach, Richard. "Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic". Bulletin of Symbolic Logic 5, nr 3 (wrzesień 1999): 331–66. http://dx.doi.org/10.2307/421184.
Pełny tekst źródłaPatel, Usha, Parita Rajiv Oza, Riya Revdiwala, Utsav Mukeshchandra Haveliwala, Smita Agrawal i Preeti Kathiria. "Fuzzy Logic Inference-Based Automated Water Irrigation System". International Journal of Ambient Computing and Intelligence 13, nr 1 (1.01.2022): 1–15. http://dx.doi.org/10.4018/ijaci.304726.
Pełny tekst źródłaRoberts, Alexander. "Relative Necessity and Propositional Quantification". Journal of Philosophical Logic 49, nr 4 (28.12.2019): 703–26. http://dx.doi.org/10.1007/s10992-019-09534-8.
Pełny tekst źródłaDemidov, Valery Anatolyevich. "Corrigendum to: V. A. Sokolov, “On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions”, Modeling and analysis of information systems, vol. 27, no. 3, pp. 304-315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315". Modeling and Analysis of Information Systems 27, nr 4 (20.12.2020): 510–11. http://dx.doi.org/10.18255/1818-1015-2020-4-510-511.
Pełny tekst źródłaNadweh, Rama Asad. "On The Fusion of Neural Networks and Fuzzy Logic, Membership Functions and Weights". Galoitica: Journal of Mathematical Structures and Applications 7, nr 1 (2023): 18–25. http://dx.doi.org/10.54216/gjmsa.070102.
Pełny tekst źródłaKim, Steven H., i Nam P. Suh. "Application of symbolic logic to the design axioms". Robotics and Computer-Integrated Manufacturing 2, nr 1 (styczeń 1985): 55–64. http://dx.doi.org/10.1016/0736-5845(85)90008-0.
Pełny tekst źródłaHarrod, James B. "A post-structuralist revised Weil–Lévi-Strauss transformation formula for conceptual value-fields". Sign Systems Studies 46, nr 2/3 (19.11.2018): 255–81. http://dx.doi.org/10.12697/sss.2018.46.2-3.03.
Pełny tekst źródłaParisi, Luciana. "Interactive Computation and Artificial Epistemologies". Theory, Culture & Society 38, nr 7-8 (19.10.2021): 33–53. http://dx.doi.org/10.1177/02632764211048548.
Pełny tekst źródład'Avila Garcez, Artur, Dov M. Gabbay, Steffen Hölldobler i John G. Taylor. "Journal of Applied Logic Special Volume on Neural-Symbolic Systems". Journal of Applied Logic 2, nr 3 (wrzesień 2004): 241–43. http://dx.doi.org/10.1016/j.jal.2004.03.001.
Pełny tekst źródłade Mol, Liesbeth. "Closing the Circle: An Analysis of Emil Post's Early Work". Bulletin of Symbolic Logic 12, nr 2 (czerwiec 2006): 267–89. http://dx.doi.org/10.2178/bsl/1146620062.
Pełny tekst źródłaMonk, J. Donald. "Joseph R. Shoenfield. Mathematical logic. Republication of JSL XL 234. Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2001, viii + 344 pp." Bulletin of Symbolic Logic 7, nr 3 (wrzesień 2001): 376. http://dx.doi.org/10.2307/2687755.
Pełny tekst źródłaFilgueira Arias, Cándida, i Maria del Carmen Escribano Ródenas. "Mathematical Narrations and Poetry. A Mathematical Resilience Tool". Multidisciplinary Journal of School Education 11, nr 2 (22) (28.12.2022): 357–81. http://dx.doi.org/10.35765/mjse.2022.1122.18.
Pełny tekst źródłaCooper, Mark S., i Adam S. Przebinda. "Synaptic Conversion of Chloride-Dependent Synapses in Spinal Nociceptive Circuits: Roles in Neuropathic Pain". Pain Research and Treatment 2011 (30.05.2011): 1–12. http://dx.doi.org/10.1155/2011/738645.
Pełny tekst źródłaMewada, Shivlal. "Perspectives of Fuzzy Logic and Their Applications". International Journal of Data Analytics 2, nr 1 (styczeń 2021): 99–145. http://dx.doi.org/10.4018/ijda.2021010105.
Pełny tekst źródłaOtt, Natalie, Roland Brünken, Markus Vogel i Sarah Malone. "Multiple symbolic representations: The combination of formula and text supports problem solving in the mathematical field of propositional logic". Learning and Instruction 58 (grudzień 2018): 88–105. http://dx.doi.org/10.1016/j.learninstruc.2018.04.010.
Pełny tekst źródłaSimpson, Stephen G. "Partial realizations of Hilbert's program". Journal of Symbolic Logic 53, nr 2 (czerwiec 1988): 349–63. http://dx.doi.org/10.1017/s0022481200028309.
Pełny tekst źródłaChernoskutov, Yu Yu. "On the Syllogistic of G. Boole". Discourse 7, nr 2 (29.04.2021): 5–15. http://dx.doi.org/10.32603/2412-8562-2021-7-2-5-15.
Pełny tekst źródłaKilmister, C. W. "Mathematical logic, by J. R. Shoenfield. Pp. 344. £24. 2001. ISBN 1 56881 135 7 (Association for Symbolic Logic, in collaboration with A. K. Peters Ltd.)". Mathematical Gazette 87, nr 509 (lipiec 2003): 407. http://dx.doi.org/10.1017/s0025557200173474.
Pełny tekst źródłaWHITEN, BILL. "A SIMPLE ALGORITHM FOR DEDUCTION". ANZIAM Journal 51, nr 1 (lipiec 2009): 102–22. http://dx.doi.org/10.1017/s1446181109000352.
Pełny tekst źródłaBEGGS, EDWIN, JOSÉ FÉLIX COSTA, DIOGO POÇAS i JOHN V. TUCKER. "Computations with oracles that measure vanishing quantities". Mathematical Structures in Computer Science 27, nr 8 (23.06.2016): 1315–63. http://dx.doi.org/10.1017/s0960129516000219.
Pełny tekst źródłaBecker, Howard. "Greg Hjorth. Classification and orbit equivalence relations. Mathematical Surveys and Monographs, vol. 75. American Mathematical Society, Providence, RI, 2000, xviii + 195 pp. - Greg Hjorth. A dichotomy theorem for turbulence. The Journal of Symbolic Logic, vol. 67 no. 4 (2002), pp. 1520–1540." Bulletin of Symbolic Logic 16, nr 3 (wrzesień 2010): 403–5. http://dx.doi.org/10.2178/bsl/1286284560.
Pełny tekst źródłaRoanes-Lozano, E., Luis M. Laita i E. Roanes-Macias. "A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL". Open Applied Mathematics Journal 2, nr 1 (23.10.2008): 126–33. http://dx.doi.org/10.2174/1874114200802010126.
Pełny tekst źródłaWang, Rui, Wanwei Liu, Tun Li, Xiaoguang Mao i Ji Wang. "Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives". Journal of Applied Mathematics 2013 (2013): 1–12. http://dx.doi.org/10.1155/2013/462532.
Pełny tekst źródłaALPUENTE, MARÍA, SANTIAGO ESCOBAR, JULIA SAPIÑA i DEMIS BALLIS. "Symbolic Analysis of Maude Theories with Narval". Theory and Practice of Logic Programming 19, nr 5-6 (wrzesień 2019): 874–90. http://dx.doi.org/10.1017/s1471068419000243.
Pełny tekst źródłaШКАРБАН, Інна. "LINGUISTIC ASPECT OF MODALITY IN MODERN MATH DISCOURSE IN ENGLISH". Проблеми гуманітарних наук. Серія Філологія, nr 49 (8.06.2022): 231–36. http://dx.doi.org/10.24919/2522-4565.2022.49.33.
Pełny tekst źródłaGao, Yuan, Yueling Guo, Nurul Atiqah Romli, Mohd Shareduwan Mohd Kasihmuddin, Weixiang Chen, Mohd Asyraf Mansor i Ju Chen. "GRAN3SAT: Creating Flexible Higher-Order Logic Satisfiability in the Discrete Hopfield Neural Network". Mathematics 10, nr 11 (1.06.2022): 1899. http://dx.doi.org/10.3390/math10111899.
Pełny tekst źródłaBrkić, Dejan, Pavel Praks, Renáta Praksová i Tomáš Kozubek. "Symbolic Regression Approaches for the Direct Calculation of Pipe Diameter". Axioms 12, nr 9 (31.08.2023): 850. http://dx.doi.org/10.3390/axioms12090850.
Pełny tekst źródłaQudrat-I Elahi, Khandakar. "A difficulty in Arrow’s impossibility theorem". International Journal of Social Economics 44, nr 12 (4.12.2017): 1609–21. http://dx.doi.org/10.1108/ijse-02-2016-0065.
Pełny tekst źródłaRiesco, Adrián, Beatriz Santos-Buitrago, Javier De Las Rivas, Merrill Knapp, Gustavo Santos-García i Carolyn Talcott. "Epidermal Growth Factor Signaling towards Proliferation: Modeling and Logic Inference Using Forward and Backward Search". BioMed Research International 2017 (2017): 1–11. http://dx.doi.org/10.1155/2017/1809513.
Pełny tekst źródłaBylieva, D. S. "Word in technogenic multidimensional space". Philosophical Problems of IT & Cyberspace (PhilIT&C), nr 1 (2.08.2022): 18–33. http://dx.doi.org/10.17726/philit.2022.1.2.
Pełny tekst źródłaGarcía, Víctor, Santiago Escobar, Kazuhiro Ogata, Sedat Akleylek i Ayoub Otmani. "Modelling and verification of post-quantum key encapsulation mechanisms using Maude". PeerJ Computer Science 9 (19.09.2023): e1547. http://dx.doi.org/10.7717/peerj-cs.1547.
Pełny tekst źródłaZhu, Xixi, Bin Liu, Cheng Zhu, Zhaoyun Ding i Li Yao. "Approximate Reasoning for Large-Scale ABox in OWL DL Based on Neural-Symbolic Learning". Mathematics 11, nr 3 (17.01.2023): 495. http://dx.doi.org/10.3390/math11030495.
Pełny tekst źródła