Gotowa bibliografia na temat „Logic system translation”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł 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.
Artykuły w czasopismach na temat "Logic system translation"
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łaRozprawy doktorskie na temat "Logic system translation"
Lee, Chen-Hsiu. "A tabular propositional logic: and/or Table Translator". CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2409.
Pełny tekst źródłaYourst, Matt T. "Peptidal processor enhanced with programmable translation and integrated dynamic acceleration logic /". Diss., Online access via UMI:, 2005.
Znajdź pełny tekst źródła"This dissertation is a compound document (contains both a paper copy and a CD as part of the dissertation)"--ProQuest abstract document view. Includes bibliographical references.
Ohlström, Sebastian, i Oscar Stenberg. "RPA i offentlig sektor : Översättning av institutionella logiker och lokala idéer". Thesis, Uppsala universitet, Företagsekonomiska institutionen, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-388391.
Pełny tekst źródłaSnabb teknisk utveckling och förändring i det moderna samhället är oöverträffad i historien.Digitalisering och automatisering av affärsprocesser ses allmänt som ett sätt att effektiviseraorganisationer och ändra den institutionella sammansättningen i dem. Påverkan på individer ochorganisationers existensberättigande ökar när de står inför starkare institutionellt tryck från olikaintressenter. Översättningsprocessen försöker här avhjälpa klyftan i individers och organisationersolika perspektiv som uppstår när nya idéer får fäste. Grundade i teorin om institutionella logikeroch översättning, försöker författarna till denna uppsats att närma sig denna institutionellakomplexitet genom att använda en lins av dessa teorier. Vi finner att marknads- och företagslogikenpåverkar alla organisationer, men vilken logik som sannolikt kommer att få fäste beror i hög gradpå den lokala översättningsprocessen. Översättningen som produceras beror på den institutionellamiljön som dominerar organisationen. För att organisationen ska lyckas med en snabb tekniskutveckling och förändring, är en grundlig förståelse för den inkrementella institutionellakomplexiteten är avgörande.
Marchese, Luca. "The Khinchin theorem for interval exchange transformations and its consequences for the Teichmüller flow". Doctoral thesis, Paris 11, 2009. http://www.theses.fr/2009PA112358.
Pełny tekst źródłaScarlato, Michele. "Sicurezza di rete, analisi del traffico e monitoraggio". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amslaurea.unibo.it/3223/.
Pełny tekst źródłaVestin, Albin, i Gustav Strandberg. "Evaluation of Target Tracking Using Multiple Sensors and Non-Causal Algorithms". Thesis, Linköpings universitet, Reglerteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-160020.
Pełny tekst źródłaStevenson, Lynette. "Modal satisifiability in a constraint logic environment". Thesis, 2007. http://hdl.handle.net/10500/2030.
Pełny tekst źródłaComputing
M.Sc. (Computer Science)
Książki na temat "Logic system translation"
A system of Indian logic: The Nyāya theory of inference : analysis, text, translation and interpretaion of the anumāna section of Kārikāvalī, Muktāvali and Dinakarī. London: RoutledgeCurzon, 2003.
Znajdź pełny tekst źródłaVadim, Kimmelman, Roelofsen Floris, Sassoon Galit W, Schulz Katrin, Westera Matthijs i SpringerLink (Online service), red. Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Znajdź pełny tekst źródłaE, Fuchs Norbert, i SpringerLink (Online service), red. Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Znajdź pełny tekst źródłaE, Fuchs Norbert, i SpringerLink (Online service), red. Controlled Natural Language: Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Znajdź pełny tekst źródłaHegel, Georg Wilhelm Fredrich. Georg Wilhelm Friedrich Hegel: The Science of Logic. Redaktor George Di Giovanni. Cambridge University Press, 2010. http://dx.doi.org/10.1017/9780511780240.
Pełny tekst źródłaHegel, Georg Wilhelm Fredrich. Georg Wilhelm Friedrich Hegel: Encyclopedia of the Philosophical Sciences in Basic Outline. Redaktorzy Klaus Brinkmann i Daniel O. Dahlstrom. Cambridge University Press, 2010. http://dx.doi.org/10.1017/9780511780226.
Pełny tekst źródłaAloni, Maria, Vadim Kimmelman i Floris Roelofsen. Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers. Springer, 2012.
Znajdź pełny tekst źródłaBastiaanse, Harald, Tikitu de Jager, Katrin Schulz i Maria Aloni. Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, the Netherlands, December 16-18, 2009, Revised Selected Papers. Springer, 2010.
Znajdź pełny tekst źródłaInformation Systems For Indian Languages International Conference Icisil 2011 Patiala India March 911 2011 Proceedings. Springer, 2011.
Znajdź pełny tekst źródłaRosner, Michael, i Norbert E. Fuchs. Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers. Springer, 2012.
Znajdź pełny tekst źródłaCzęści książek na temat "Logic system translation"
Choi, J. M., M. S. Song, K. J. Jeong, H. C. Kwon, S. Y. Han i Y. T. Kim. "A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management". W Logic Programming '85, 236–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-16479-0_23.
Pełny tekst źródłaNelken, Rani, i Nissim Francez. "Automatic translation of natural language system specifications into temporal logic". W Computer Aided Verification, 360–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61474-5_83.
Pełny tekst źródłaSuwa, Takashi, i Atsushi Igarashi. "An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming". W Functional and Logic Programming, 237–72. Singapore: Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-97-2300-3_13.
Pełny tekst źródłaRothgang, Colin, Florian Rabe i Christoph Benzmüller. "Theorem Proving in Dependently-Typed Higher-Order Logic". W Automated Deduction – CADE 29, 438–55. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-38499-8_25.
Pełny tekst źródłaFukihara, Yōji, i Shin-ya Katsumata. "Generalized Bounded Linear Logic and its Categorical Semantics". W Lecture Notes in Computer Science, 226–46. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_12.
Pełny tekst źródłaSlaby, Wolfgang A. "Segment translation systems". W Computation Theory and Logic, 382–90. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/3-540-18170-9_180.
Pełny tekst źródłaVukmirović, Petar, Jasmin Blanchette i Stephan Schulz. "Extending a High-Performance Prover to Higher-Order Logic". W Tools and Algorithms for the Construction and Analysis of Systems, 111–29. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30820-8_10.
Pełny tekst źródłaDas, Anupam, i Marianna Girlando. "Cyclic Proofs, Hypersequents, and Transitive Closure Logic". W Automated Reasoning, 509–28. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_30.
Pełny tekst źródłaForrest, Jeffrey Yi-Lin. "Systems Science and the Logic of Systemic Reasoning". W Translational Systems Sciences, 39–68. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-7273-9_2.
Pełny tekst źródłaMurali, Adithya, Lucas Peña, Christof Löding i P. Madhusudan. "A First-Order Logic with Frames". W Programming Languages and Systems, 515–43. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44914-8_19.
Pełny tekst źródłaStreszczenia konferencji na temat "Logic system translation"
Zhang, Xuan, Cesar Ortega-Sanchez i Iain Murray. "A System for Fast Text-to-Braille Translation Based on FPGAs". W 2007 3rd Southern Conference on Programmable Logic. IEEE, 2007. http://dx.doi.org/10.1109/spl.2007.371735.
Pełny tekst źródłaFernandez-Amoros, David, Ruben Heradio, Christoph Mayr-Dorn i Alexander Egyed. "A Kconfig Translation to Logic with One-Way Validation System". W SPLC 2019: 23rd International Systems and Software Product Line Conference. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3336294.3336313.
Pełny tekst źródłaYao, Yuan, Zhongyong Lu, Qingsong Shi i Wenzhi Chen. "FPGA based hardware-software co-designed dynamic binary translation system". W 2013 23rd International Conference on Field Programmable Logic and Applications (FPL). IEEE, 2013. http://dx.doi.org/10.1109/fpl.2013.6645554.
Pełny tekst źródłaBichler, Manuel, Michael Morak i Stefan Woltran. "Single-Shot Epistemic Logic Program Solving". W Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/237.
Pełny tekst źródłaAkintunde, Michael E., Elena Botoeva, Panagiotis Kouvaros i Alessio Lomuscio. "Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems". W 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/3.
Pełny tekst źródłaValentini, E., E. Haselwanter, R. Ulmer i T. Popp. "Configurable logic style translation based on an openaccess engine". W 2005 12th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2005). IEEE, 2005. http://dx.doi.org/10.1109/icecs.2005.4633506.
Pełny tekst źródłaLi, Lening, Hazhar Rahmani i Jie Fu. "Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives". W Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/22.
Pełny tekst źródłaBaldi, Paolo, Petr Cintula i Carles Noguera. "Translating Classical Probability Logics into Modal Fuzzy Logics". W Proceedings of the 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). Paris, France: Atlantis Press, 2019. http://dx.doi.org/10.2991/eusflat-19.2019.49.
Pełny tekst źródłaGogacz, Tomasz, Sanja Lukumbuzya, Magdalena Ortiz i Mantas Šimkus. "Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates". W 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/44.
Pełny tekst źródłaUmili, Elena, Roberto Capobianco i Giuseppe De Giacomo. "Grounding LTLf Specifications in Image Sequences". W 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/65.
Pełny tekst źródłaRaporty organizacyjne na temat "Logic system translation"
Xu, Chao, Walter Forkel, Stefan Borgwardt, Franz Baader i Beihai Zhou. Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. Technische Universität Dresden, 2019. http://dx.doi.org/10.25368/2023.224.
Pełny tekst źródłaPaule, Bernard, Flourentzos Flourentzou, Tristan de KERCHOVE d’EXAERDE, Julien BOUTILLIER i Nicolo Ferrari. PRELUDE Roadmap for Building Renovation: set of rules for renovation actions to optimize building energy performance. Department of the Built Environment, 2023. http://dx.doi.org/10.54337/aau541614638.
Pełny tekst źródłaKüsters, Ralf, i Ralf Molitor. Computing Most Specific Concepts in Description Logics with Existential Restrictions. Aachen University of Technology, 2000. http://dx.doi.org/10.25368/2022.108.
Pełny tekst źródłaTarasenko, Rostyslav O., Svitlana M. Amelina i Albert A. Azaryan. Integrated testing system of information competence components of future translators. [б. в.], lipiec 2020. http://dx.doi.org/10.31812/123456789/3879.
Pełny tekst źródła