Artykuły w czasopismach na temat „Logic system translation”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Logic system translation”.
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.
Golev, N. D. "Translative Linguistics: an Aspectualized Review of Initial Provisions. Part 1. Gnoseology of Translation". Bulletin of Kemerovo State University 24, nr 6 (29.12.2022): 717–34. http://dx.doi.org/10.21603/2078-8975-2022-24-6-717-734.
Pełny tekst źródłaMartini, Simone, i Andrea Masini. "A modal view of linear logic". Journal of Symbolic Logic 59, nr 3 (wrzesień 1994): 888–99. http://dx.doi.org/10.2307/2275915.
Pełny tekst źródłaSHRAMKO, YAROSLAV. "A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC". Review of Symbolic Logic 9, nr 2 (12.02.2016): 251–65. http://dx.doi.org/10.1017/s1755020316000022.
Pełny tekst źródłaGaranina, Natalia Olegovna, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov i Sergei Petrovich Gorlatch. "Temporal Logic for Programmable Logic Controllers". Modeling and Analysis of Information Systems 27, nr 4 (20.12.2020): 412–27. http://dx.doi.org/10.18255/1818-1015-2020-4-412-427.
Pełny tekst źródłaDe Florio, Giulia. "MARSHAK EDITOR OF GIANNI RODARI’S CIPOLLINO’S ADVENTURES. SOME PRELIMINARY ARCHIVE-BASED OBSERVATIONS". Children's Readings: Studies in Children's Literature 21, nr 1 (2022): 250–64. http://dx.doi.org/10.31860/2304-5817-2022-1-21-250-264.
Pełny tekst źródłaCao, Qianyu, i Hanmei Hao. "A Chaotic Neural Network Model for English Machine Translation Based on Big Data Analysis". Computational Intelligence and Neuroscience 2021 (2.07.2021): 1–12. http://dx.doi.org/10.1155/2021/3274326.
Pełny tekst źródłaBolshakova, Mariya G. "Strategies and Techniques of the Translation of International Law Documents". Current Issues in Philology and Pedagogical Linguistics, nr 3 (25.09.2023): 42–53. http://dx.doi.org/10.29025/2079-6021-2023-3-42-53.
Pełny tekst źródłaBarba Escriba, Juan. "A multidimensional modal translation for a formal system motivated by situation semantics." Notre Dame Journal of Formal Logic 32, nr 4 (wrzesień 1991): 598–608. http://dx.doi.org/10.1305/ndjfl/1093635931.
Pełny tekst źródłaIm, Hyeonseung. "On Correspondence between Selective CPS Transformation and Selective Double Negation Translation". Mathematics 9, nr 4 (15.02.2021): 385. http://dx.doi.org/10.3390/math9040385.
Pełny tekst źródłaLANZET, RAN. "A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL". Review of Symbolic Logic 10, nr 3 (8.05.2017): 549–82. http://dx.doi.org/10.1017/s1755020317000053.
Pełny tekst źródłaBroda, Sabine, i Luís Damas. "Compact bracket abstraction in combinatory logic". Journal of Symbolic Logic 62, nr 3 (wrzesień 1997): 729–40. http://dx.doi.org/10.2307/2275570.
Pełny tekst źródłaDung, P. M., i P. M. Thang. "Closure and Consistency In Logic-Associated Argumentation". Journal of Artificial Intelligence Research 49 (29.01.2014): 79–109. http://dx.doi.org/10.1613/jair.4107.
Pełny tekst źródłaJULIÁN-IRANZO, PASCUAL, i FERNANDO SÁENZ-PÉREZ. "Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog". Theory and Practice of Logic Programming 21, nr 5 (wrzesień 2021): 680–97. http://dx.doi.org/10.1017/s1471068421000405.
Pełny tekst źródłaMin, hoo ki. "The translation of Tongdian(『通典』) Xuanju(選擧) chapter1". Korean Society of the History of Historiography 46 (30.12.2022): 427–71. http://dx.doi.org/10.29186/kjhh.2022.46.427.
Pełny tekst źródłaWalendziak, Andrzej. "Deductive systems of pseudo-M algebras". Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica 21, nr 1 (1.01.2022): 93–116. http://dx.doi.org/10.2478/aupcsm-2022-0008.
Pełny tekst źródłaBLOK, W. J., i J. G. RAFTERY. "ASSERTIONALLY EQUIVALENT QUASIVARIETIES". International Journal of Algebra and Computation 18, nr 04 (czerwiec 2008): 589–681. http://dx.doi.org/10.1142/s0218196708004627.
Pełny tekst źródłaSimons, Peter. "Term Logic". Axioms 9, nr 1 (10.02.2020): 18. http://dx.doi.org/10.3390/axioms9010018.
Pełny tekst źródłaFernandez, David. "A polynomial translation of S4 into intuitionistic logic". Journal of Symbolic Logic 71, nr 3 (wrzesień 2006): 989–1001. http://dx.doi.org/10.2178/jsl/1154698587.
Pełny tekst źródłaLi, Zhi Bin. "Low-Cost PLC-Based Control of a 2-DoF Purely Translational Parallel Robot". Advanced Materials Research 383-390 (listopad 2011): 1542–48. http://dx.doi.org/10.4028/www.scientific.net/amr.383-390.1542.
Pełny tekst źródłaGarcez, Artur S. d'Avila, i Luís C. Lamb. "A Connectionist Computational Model for Epistemic and Temporal Reasoning". Neural Computation 18, nr 7 (lipiec 2006): 1711–38. http://dx.doi.org/10.1162/neco.2006.18.7.1711.
Pełny tekst źródłaGuba, A. A., A. V. Kolchin i S. V. Potiyenko. "A method for business logic extraction from legacy COBOL code of industrial systems". PROBLEMS IN PROGRAMMING, nr 2-3 (czerwiec 2016): 017–25. http://dx.doi.org/10.15407/pp2016.02-03.017.
Pełny tekst źródłaAvron, A. "Multiplicative conjunction and an algebraic meaning of contraction and weakening". Journal of Symbolic Logic 63, nr 3 (wrzesień 1998): 831–59. http://dx.doi.org/10.2307/2586715.
Pełny tekst źródłaHartono, Hartono, i Tiarma Simanihuruk. "Optimization Model of Fuzzy Rule Based Expert System Using Max-Min Composition and Schema Mapping Translation". INSIST 2, nr 1 (1.04.2017): 30. http://dx.doi.org/10.23960/ins.v2i1.30.
Pełny tekst źródłaBellantoni, Stephen, i Martin Hofmann. "A new “feasible” arithmetic". Journal of Symbolic Logic 67, nr 1 (marzec 2002): 104–16. http://dx.doi.org/10.2178/jsl/1190150032.
Pełny tekst źródłaMeyer, Robert. "Arithmetic Formulated Relevantly". Australasian Journal of Logic 18, nr 5 (21.07.2021): 154–288. http://dx.doi.org/10.26686/ajl.v18i5.6905.
Pełny tekst źródłaMacCaull, Wendy. "Relational semantics and a relational proof system for full Lambek calculus". Journal of Symbolic Logic 63, nr 2 (czerwiec 1998): 623–37. http://dx.doi.org/10.2307/2586855.
Pełny tekst źródłaChun, Seung Su. "The Pattern Based Visual Property Specification Language and Supporting System for Software Verifications". Applied Mechanics and Materials 752-753 (kwiecień 2015): 1090–96. http://dx.doi.org/10.4028/www.scientific.net/amm.752-753.1090.
Pełny tekst źródłaGhilardi, Silvio, i Lorenzo Sacchetti. "Filtering unification and most general unifiers in modal logic". Journal of Symbolic Logic 69, nr 3 (wrzesień 2004): 879–906. http://dx.doi.org/10.2178/jsl/1096901773.
Pełny tekst źródłaRamati, Ido, i Amit Pinchevski. "Uniform multilingualism: A media genealogy of Google Translate". New Media & Society 20, nr 7 (22.08.2017): 2550–65. http://dx.doi.org/10.1177/1461444817726951.
Pełny tekst źródłaKuehnle, Matthias, Andre Wagner, Alisson V. Brito i Juergen Becker. "Modeling and Implementation of a Power Estimation Methodology for SystemC". International Journal of Reconfigurable Computing 2012 (2012): 1–12. http://dx.doi.org/10.1155/2012/439727.
Pełny tekst źródłaSÁENZ-PÉREZ, FERNANDO. "Applying Constraint Logic Programming to SQL Semantic Analysis". Theory and Practice of Logic Programming 19, nr 5-6 (wrzesień 2019): 808–25. http://dx.doi.org/10.1017/s1471068419000206.
Pełny tekst źródłaPAYKIN, JENNIFER, i STEVE ZDANCEWIC. "A linear/producer/consumer model of classical linear logic". Mathematical Structures in Computer Science 28, nr 5 (27.10.2016): 710–35. http://dx.doi.org/10.1017/s0960129516000347.
Pełny tekst źródłaLi, Xiaojing, i Shuting Ding. "Interpersonal Interface System of Multimedia Intelligent English Translation Based on Deep Learning". Scientific Programming 2022 (14.04.2022): 1–9. http://dx.doi.org/10.1155/2022/8027003.
Pełny tekst źródłaBacon, John. "The completeness of a predicate-functor logic". Journal of Symbolic Logic 50, nr 4 (grudzień 1985): 903–26. http://dx.doi.org/10.2307/2273980.
Pełny tekst źródłaВ. Г. НІКОНОВА i Р. І. ЛУЦЕНКО. "SIMILES AS MEANS OF REPRESENTING THE AUTHOR’S WORLDVIEW AND THEIR RENDERING IN LITERARY TRANSLATION (in Ukrainian translations of contemporary English poetry)". MESSENGER of Kyiv National Linguistic University. Series Philology 22, nr 2 (26.12.2019): 193–201. http://dx.doi.org/10.32589/2311-0821.2.2019.191992.
Pełny tekst źródłaVAN DESSEL, KYLIAN, JO DEVRIENDT i JOOST VENNEKENS. "FOLASP: FO(·) as Input Language for Answer Set Solvers". Theory and Practice of Logic Programming 21, nr 6 (listopad 2021): 785–801. http://dx.doi.org/10.1017/s1471068421000351.
Pełny tekst źródłaBhadwal, Neha, Prateek Agrawal i Vishu Madaan. "A Machine Translation System from Hindi to Sanskrit Language using Rule based Approach". Scalable Computing: Practice and Experience 21, nr 3 (1.08.2020): 543–54. http://dx.doi.org/10.12694/scpe.v21i3.1783.
Pełny tekst źródłaHauck, Nicholas. "Louis Wolfson et la traduction plurilinguistique, ou comment se mettre à l’abri dans l’espace rhizomique". L’espace à travers l’imaginaire littéraire, nr 122 (13.07.2023): 51–57. http://dx.doi.org/10.7202/1101621ar.
Pełny tekst źródłaBICHLER, MANUEL, MICHAEL MORAK i STEFAN WOLTRAN. "selp: A Single-Shot Epistemic Logic Program Solver". Theory and Practice of Logic Programming 20, nr 4 (26.02.2020): 435–55. http://dx.doi.org/10.1017/s1471068420000022.
Pełny tekst źródłaЖақан, М. Қ., Ф. Б. Худойдодзода i Р. Иманжүсіп. "Logical teachings of Ibn Sina and features of syllogisms". Bulletin of the Karaganda university History.Philosophy series 3, nr 103 (30.09.2021): 137–45. http://dx.doi.org/10.31489/2021hph3/137-145.
Pełny tekst źródłaKozachenko, Nadiia P. "Modelling of AGM-style doxastic operations in three-valued setting". CTE Workshop Proceedings 10 (21.03.2023): 326–45. http://dx.doi.org/10.55056/cte.553.
Pełny tekst źródłaDOU, DEJING, HAN QIN i PAEA LEPENDU. "ONTOGRATE: TOWARDS AUTOMATIC INTEGRATION FOR RELATIONAL DATABASES AND THE SEMANTIC WEB THROUGH AN ONTOLOGY-BASED FRAMEWORK". International Journal of Semantic Computing 04, nr 01 (marzec 2010): 123–51. http://dx.doi.org/10.1142/s1793351x10000961.
Pełny tekst źródłaGaranina, Natalia O., Sergey M. Staroletov, Vladimir E. Zyubin i Igor S. Anureev. "Model checking programs in process-oriented IEC 61131-3 Structured Text". Modeling and Analysis of Information Systems 31, nr 1 (28.03.2024): 32–53. http://dx.doi.org/10.18255/1818-1015-2024-1-32-53.
Pełny tekst źródłaIsmail, Aimi Sara, Kherun Nita Ali, Noorminshah A. Iahad, Mukhtar A. Kassem i Najib Taher Al-Ashwal. "BIM-Based Automated Code Compliance Checking System in Malaysian Fire Safety Regulations: A User-Friendly Approach". Buildings 13, nr 6 (29.05.2023): 1404. http://dx.doi.org/10.3390/buildings13061404.
Pełny tekst źródłaWestphal, Kenneth R. "Force, Understanding and Ontology". Hegel Bulletin 29, nr 1-2 (2008): 1–29. http://dx.doi.org/10.1017/s0263523200000756.
Pełny tekst źródłaHolubenko, Nataliia. "Discourse approach to conveying modality in translation". MESSENGER of Kyiv National Linguistic University. Series Philology 24, nr 1 (6.07.2021): 49–56. http://dx.doi.org/10.32589/2311-0821.1.2021.236058.
Pełny tekst źródłaMa, Duo, Yuexin Li, Kaiyue Wu, Zhaoqing Yan, Anli A. Tang, Soma Chaudhary, Zachary M. Ticktin i in. "Multi-arm RNA junctions encoding molecular logic unconstrained by input sequence for versatile cell-free diagnostics". Nature Biomedical Engineering 6, nr 3 (marzec 2022): 298–309. http://dx.doi.org/10.1038/s41551-022-00857-7.
Pełny tekst źródłaDEROSSET, LOUIS. "ON WEAK GROUND". Review of Symbolic Logic 7, nr 4 (2.10.2014): 713–44. http://dx.doi.org/10.1017/s1755020314000306.
Pełny tekst źródłaStefanì, Paolo. "Hidden cultures in law: Metaphor and translation in legal discourse". Semiotica 2016, nr 209 (1.03.2016): 357–70. http://dx.doi.org/10.1515/sem-2016-0020.
Pełny tekst źródłavon Plato, Jan. "Gentzen's Proof Systems: Byproducts in a Work of Genius". Bulletin of Symbolic Logic 18, nr 3 (wrzesień 2012): 313–67. http://dx.doi.org/10.2178/bsl/1344861886.
Pełny tekst źródła