Artigos de revistas sobre o tema "Logic system translation"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 50 melhores artigos de revistas para estudos sobre o assunto "Logic system translation".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
Golev, N. D. "Translative Linguistics: an Aspectualized Review of Initial Provisions. Part 1. Gnoseology of Translation". Bulletin of Kemerovo State University 24, n.º 6 (29 de dezembro de 2022): 717–34. http://dx.doi.org/10.21603/2078-8975-2022-24-6-717-734.
Texto completo da fonteMartini, Simone, e Andrea Masini. "A modal view of linear logic". Journal of Symbolic Logic 59, n.º 3 (setembro de 1994): 888–99. http://dx.doi.org/10.2307/2275915.
Texto completo da fonteSHRAMKO, YAROSLAV. "A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC". Review of Symbolic Logic 9, n.º 2 (12 de fevereiro de 2016): 251–65. http://dx.doi.org/10.1017/s1755020316000022.
Texto completo da fonteGaranina, Natalia Olegovna, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov e Sergei Petrovich Gorlatch. "Temporal Logic for Programmable Logic Controllers". Modeling and Analysis of Information Systems 27, n.º 4 (20 de dezembro de 2020): 412–27. http://dx.doi.org/10.18255/1818-1015-2020-4-412-427.
Texto completo da fonteDe 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, n.º 1 (2022): 250–64. http://dx.doi.org/10.31860/2304-5817-2022-1-21-250-264.
Texto completo da fonteCao, Qianyu, e Hanmei Hao. "A Chaotic Neural Network Model for English Machine Translation Based on Big Data Analysis". Computational Intelligence and Neuroscience 2021 (2 de julho de 2021): 1–12. http://dx.doi.org/10.1155/2021/3274326.
Texto completo da fonteBolshakova, Mariya G. "Strategies and Techniques of the Translation of International Law Documents". Current Issues in Philology and Pedagogical Linguistics, n.º 3 (25 de setembro de 2023): 42–53. http://dx.doi.org/10.29025/2079-6021-2023-3-42-53.
Texto completo da fonteBarba Escriba, Juan. "A multidimensional modal translation for a formal system motivated by situation semantics." Notre Dame Journal of Formal Logic 32, n.º 4 (setembro de 1991): 598–608. http://dx.doi.org/10.1305/ndjfl/1093635931.
Texto completo da fonteIm, Hyeonseung. "On Correspondence between Selective CPS Transformation and Selective Double Negation Translation". Mathematics 9, n.º 4 (15 de fevereiro de 2021): 385. http://dx.doi.org/10.3390/math9040385.
Texto completo da fonteLANZET, RAN. "A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL". Review of Symbolic Logic 10, n.º 3 (8 de maio de 2017): 549–82. http://dx.doi.org/10.1017/s1755020317000053.
Texto completo da fonteBroda, Sabine, e Luís Damas. "Compact bracket abstraction in combinatory logic". Journal of Symbolic Logic 62, n.º 3 (setembro de 1997): 729–40. http://dx.doi.org/10.2307/2275570.
Texto completo da fonteDung, P. M., e P. M. Thang. "Closure and Consistency In Logic-Associated Argumentation". Journal of Artificial Intelligence Research 49 (29 de janeiro de 2014): 79–109. http://dx.doi.org/10.1613/jair.4107.
Texto completo da fonteJULIÁN-IRANZO, PASCUAL, e FERNANDO SÁENZ-PÉREZ. "Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog". Theory and Practice of Logic Programming 21, n.º 5 (setembro de 2021): 680–97. http://dx.doi.org/10.1017/s1471068421000405.
Texto completo da fonteMin, hoo ki. "The translation of Tongdian(『通典』) Xuanju(選擧) chapter1". Korean Society of the History of Historiography 46 (30 de dezembro de 2022): 427–71. http://dx.doi.org/10.29186/kjhh.2022.46.427.
Texto completo da fonteWalendziak, Andrzej. "Deductive systems of pseudo-M algebras". Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica 21, n.º 1 (1 de janeiro de 2022): 93–116. http://dx.doi.org/10.2478/aupcsm-2022-0008.
Texto completo da fonteBLOK, W. J., e J. G. RAFTERY. "ASSERTIONALLY EQUIVALENT QUASIVARIETIES". International Journal of Algebra and Computation 18, n.º 04 (junho de 2008): 589–681. http://dx.doi.org/10.1142/s0218196708004627.
Texto completo da fonteSimons, Peter. "Term Logic". Axioms 9, n.º 1 (10 de fevereiro de 2020): 18. http://dx.doi.org/10.3390/axioms9010018.
Texto completo da fonteFernandez, David. "A polynomial translation of S4 into intuitionistic logic". Journal of Symbolic Logic 71, n.º 3 (setembro de 2006): 989–1001. http://dx.doi.org/10.2178/jsl/1154698587.
Texto completo da fonteLi, Zhi Bin. "Low-Cost PLC-Based Control of a 2-DoF Purely Translational Parallel Robot". Advanced Materials Research 383-390 (novembro de 2011): 1542–48. http://dx.doi.org/10.4028/www.scientific.net/amr.383-390.1542.
Texto completo da fonteGarcez, Artur S. d'Avila, e Luís C. Lamb. "A Connectionist Computational Model for Epistemic and Temporal Reasoning". Neural Computation 18, n.º 7 (julho de 2006): 1711–38. http://dx.doi.org/10.1162/neco.2006.18.7.1711.
Texto completo da fonteGuba, A. A., A. V. Kolchin e S. V. Potiyenko. "A method for business logic extraction from legacy COBOL code of industrial systems". PROBLEMS IN PROGRAMMING, n.º 2-3 (junho de 2016): 017–25. http://dx.doi.org/10.15407/pp2016.02-03.017.
Texto completo da fonteAvron, A. "Multiplicative conjunction and an algebraic meaning of contraction and weakening". Journal of Symbolic Logic 63, n.º 3 (setembro de 1998): 831–59. http://dx.doi.org/10.2307/2586715.
Texto completo da fonteHartono, Hartono, e Tiarma Simanihuruk. "Optimization Model of Fuzzy Rule Based Expert System Using Max-Min Composition and Schema Mapping Translation". INSIST 2, n.º 1 (1 de abril de 2017): 30. http://dx.doi.org/10.23960/ins.v2i1.30.
Texto completo da fonteBellantoni, Stephen, e Martin Hofmann. "A new “feasible” arithmetic". Journal of Symbolic Logic 67, n.º 1 (março de 2002): 104–16. http://dx.doi.org/10.2178/jsl/1190150032.
Texto completo da fonteMeyer, Robert. "Arithmetic Formulated Relevantly". Australasian Journal of Logic 18, n.º 5 (21 de julho de 2021): 154–288. http://dx.doi.org/10.26686/ajl.v18i5.6905.
Texto completo da fonteMacCaull, Wendy. "Relational semantics and a relational proof system for full Lambek calculus". Journal of Symbolic Logic 63, n.º 2 (junho de 1998): 623–37. http://dx.doi.org/10.2307/2586855.
Texto completo da fonteChun, Seung Su. "The Pattern Based Visual Property Specification Language and Supporting System for Software Verifications". Applied Mechanics and Materials 752-753 (abril de 2015): 1090–96. http://dx.doi.org/10.4028/www.scientific.net/amm.752-753.1090.
Texto completo da fonteGhilardi, Silvio, e Lorenzo Sacchetti. "Filtering unification and most general unifiers in modal logic". Journal of Symbolic Logic 69, n.º 3 (setembro de 2004): 879–906. http://dx.doi.org/10.2178/jsl/1096901773.
Texto completo da fonteRamati, Ido, e Amit Pinchevski. "Uniform multilingualism: A media genealogy of Google Translate". New Media & Society 20, n.º 7 (22 de agosto de 2017): 2550–65. http://dx.doi.org/10.1177/1461444817726951.
Texto completo da fonteKuehnle, Matthias, Andre Wagner, Alisson V. Brito e 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.
Texto completo da fonteSÁENZ-PÉREZ, FERNANDO. "Applying Constraint Logic Programming to SQL Semantic Analysis". Theory and Practice of Logic Programming 19, n.º 5-6 (setembro de 2019): 808–25. http://dx.doi.org/10.1017/s1471068419000206.
Texto completo da fontePAYKIN, JENNIFER, e STEVE ZDANCEWIC. "A linear/producer/consumer model of classical linear logic". Mathematical Structures in Computer Science 28, n.º 5 (27 de outubro de 2016): 710–35. http://dx.doi.org/10.1017/s0960129516000347.
Texto completo da fonteLi, Xiaojing, e Shuting Ding. "Interpersonal Interface System of Multimedia Intelligent English Translation Based on Deep Learning". Scientific Programming 2022 (14 de abril de 2022): 1–9. http://dx.doi.org/10.1155/2022/8027003.
Texto completo da fonteBacon, John. "The completeness of a predicate-functor logic". Journal of Symbolic Logic 50, n.º 4 (dezembro de 1985): 903–26. http://dx.doi.org/10.2307/2273980.
Texto completo da fonteВ. Г. НІКОНОВА e Р. І. ЛУЦЕНКО. "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, n.º 2 (26 de dezembro de 2019): 193–201. http://dx.doi.org/10.32589/2311-0821.2.2019.191992.
Texto completo da fonteVAN DESSEL, KYLIAN, JO DEVRIENDT e JOOST VENNEKENS. "FOLASP: FO(·) as Input Language for Answer Set Solvers". Theory and Practice of Logic Programming 21, n.º 6 (novembro de 2021): 785–801. http://dx.doi.org/10.1017/s1471068421000351.
Texto completo da fonteBhadwal, Neha, Prateek Agrawal e Vishu Madaan. "A Machine Translation System from Hindi to Sanskrit Language using Rule based Approach". Scalable Computing: Practice and Experience 21, n.º 3 (1 de agosto de 2020): 543–54. http://dx.doi.org/10.12694/scpe.v21i3.1783.
Texto completo da fonteHauck, Nicholas. "Louis Wolfson et la traduction plurilinguistique, ou comment se mettre à l’abri dans l’espace rhizomique". L’espace à travers l’imaginaire littéraire, n.º 122 (13 de julho de 2023): 51–57. http://dx.doi.org/10.7202/1101621ar.
Texto completo da fonteBICHLER, MANUEL, MICHAEL MORAK e STEFAN WOLTRAN. "selp: A Single-Shot Epistemic Logic Program Solver". Theory and Practice of Logic Programming 20, n.º 4 (26 de fevereiro de 2020): 435–55. http://dx.doi.org/10.1017/s1471068420000022.
Texto completo da fonteЖақан, М. Қ., Ф. Б. Худойдодзода e Р. Иманжүсіп. "Logical teachings of Ibn Sina and features of syllogisms". Bulletin of the Karaganda university History.Philosophy series 3, n.º 103 (30 de setembro de 2021): 137–45. http://dx.doi.org/10.31489/2021hph3/137-145.
Texto completo da fonteKozachenko, Nadiia P. "Modelling of AGM-style doxastic operations in three-valued setting". CTE Workshop Proceedings 10 (21 de março de 2023): 326–45. http://dx.doi.org/10.55056/cte.553.
Texto completo da fonteDOU, DEJING, HAN QIN e PAEA LEPENDU. "ONTOGRATE: TOWARDS AUTOMATIC INTEGRATION FOR RELATIONAL DATABASES AND THE SEMANTIC WEB THROUGH AN ONTOLOGY-BASED FRAMEWORK". International Journal of Semantic Computing 04, n.º 01 (março de 2010): 123–51. http://dx.doi.org/10.1142/s1793351x10000961.
Texto completo da fonteGaranina, Natalia O., Sergey M. Staroletov, Vladimir E. Zyubin e Igor S. Anureev. "Model checking programs in process-oriented IEC 61131-3 Structured Text". Modeling and Analysis of Information Systems 31, n.º 1 (28 de março de 2024): 32–53. http://dx.doi.org/10.18255/1818-1015-2024-1-32-53.
Texto completo da fonteIsmail, Aimi Sara, Kherun Nita Ali, Noorminshah A. Iahad, Mukhtar A. Kassem e Najib Taher Al-Ashwal. "BIM-Based Automated Code Compliance Checking System in Malaysian Fire Safety Regulations: A User-Friendly Approach". Buildings 13, n.º 6 (29 de maio de 2023): 1404. http://dx.doi.org/10.3390/buildings13061404.
Texto completo da fonteWestphal, Kenneth R. "Force, Understanding and Ontology". Hegel Bulletin 29, n.º 1-2 (2008): 1–29. http://dx.doi.org/10.1017/s0263523200000756.
Texto completo da fonteHolubenko, Nataliia. "Discourse approach to conveying modality in translation". MESSENGER of Kyiv National Linguistic University. Series Philology 24, n.º 1 (6 de julho de 2021): 49–56. http://dx.doi.org/10.32589/2311-0821.1.2021.236058.
Texto completo da fonteMa, Duo, Yuexin Li, Kaiyue Wu, Zhaoqing Yan, Anli A. Tang, Soma Chaudhary, Zachary M. Ticktin et al. "Multi-arm RNA junctions encoding molecular logic unconstrained by input sequence for versatile cell-free diagnostics". Nature Biomedical Engineering 6, n.º 3 (março de 2022): 298–309. http://dx.doi.org/10.1038/s41551-022-00857-7.
Texto completo da fonteDEROSSET, LOUIS. "ON WEAK GROUND". Review of Symbolic Logic 7, n.º 4 (2 de outubro de 2014): 713–44. http://dx.doi.org/10.1017/s1755020314000306.
Texto completo da fonteStefanì, Paolo. "Hidden cultures in law: Metaphor and translation in legal discourse". Semiotica 2016, n.º 209 (1 de março de 2016): 357–70. http://dx.doi.org/10.1515/sem-2016-0020.
Texto completo da fontevon Plato, Jan. "Gentzen's Proof Systems: Byproducts in a Work of Genius". Bulletin of Symbolic Logic 18, n.º 3 (setembro de 2012): 313–67. http://dx.doi.org/10.2178/bsl/1344861886.
Texto completo da fonte