Academic literature on the topic 'Logician'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logician.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Logician"

1

Burger, Max. "Logician." JAMA: The Journal of the American Medical Association 278, no. 16 (1997): 1380. http://dx.doi.org/10.1001/jama.1997.03550160102053.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

El-Rouayheb, Khaled. "“Mubārakshāh the Logician”." Intellectual History of the Islamicate World 9, no. 1-2 (2019): 115–39. http://dx.doi.org/10.1163/2212943x-00801101.

Full text
Abstract:
Abstract A scholar known as “Mubārakshāh” features in sources from the fifteenth and sixteenth centuries as a teacher of a number of prominent early Ottoman scholars, and of the influential Persian scholar al-Sayyid al-Sharīf al-Jurjānī (d. 816/1413). According to these sources, Mubārakshāh taught in Cairo in the mid- to late fourteenth century. Yet, despite the large number of Mamluk historical works covering this period, the precise identity of this scholar has so far proven elusive. The present article reviews the evidence and makes an identification that, though circumstantial, may be more
APA, Harvard, Vancouver, ISO, and other styles
3

Orman Quine, Wlllard Van. "Peano as logician." History and Philosophy of Logic 8, no. 1 (1987): 15–24. http://dx.doi.org/10.1080/01445348708837105.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Fontaine, Matthieu. "Hintikka, Free Logician." Logica Universalis 13, no. 2 (2018): 179–201. http://dx.doi.org/10.1007/s11787-018-0197-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Donato, Enrico. "Alberic the Logician." Journal of the History of Philosophy 63, no. 3 (2025): 357–77. https://doi.org/10.1353/hph.2025.a964605.

Full text
Abstract:
abstract: Alberic of Paris (fl. 1130s) was one of the most prominent philosophers of the twelfth century, and Peter Abelard’s main rival. In this paper, I argue that the aim of Alberic’s logical program was to propound a realist conception of logic. That is, Alberic rejected the nominalistic theorem according to which logic deals only with names, and argued that logic also deals with things, both particular and universal. In this regard, Alberic’s logic hinges on a clear commitment to the existence of universals. To show this, I examine the core elements of Alberic’s logic and contrast them wi
APA, Harvard, Vancouver, ISO, and other styles
6

Shapiro, Stewart. "The Guru, the Logician, and the Deflationist: Truth and Logical Consequence." Noûs 37, no. 1 (2003): 113–32. http://dx.doi.org/10.1111/1468-0068.00431.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Jacquette, Dale. "Confessions of a Meinongian Logician." Grazer Philosophische Studien 58 (2000): 151–80. http://dx.doi.org/10.5840/gps200058/5921.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jacquette, Dale. "CONFESSIONS OF A MEINONGIAN LOGICIAN." Grazer Philosophische studien 58, no. 1 (2000): 151–80. http://dx.doi.org/10.1163/18756735-90000723.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

BRAUER, ETHAN. "RELEVANCE FOR THE CLASSICAL LOGICIAN." Review of Symbolic Logic 13, no. 2 (2018): 436–57. http://dx.doi.org/10.1017/s1755020318000382.

Full text
Abstract:
AbstractAlthough much technical and philosophical attention has been given to relevance logics, the notion of relevance itself is generally left at an intuitive level. It is difficult to find in the literature an explicit account of relevance in formal reasoning. In this article I offer a formal explication of the notion of relevance in deductive logic and argue that this notion has an interesting place in the study of classical logic. The main idea is that a premise is relevant to an argument when it contributes to the validity of that argument. I then argue that the sequents which best embod
APA, Harvard, Vancouver, ISO, and other styles
10

Fessenden, Marissa. "The Logician and the Engineer." Scientific American 307, no. 5 (2012): 84. http://dx.doi.org/10.1038/scientificamerican1112-84c.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logician"

1

Galvagni, Marco. "Teoria degli insiemi, logica e filosofia nei Collected works di Kurt Gödel." Doctoral thesis, Scuola Normale Superiore, 2005. http://hdl.handle.net/11384/86140.

Full text
Abstract:
From the introduction: [...] Alla luce dello straordinario interesse sollevato dalle opere e dalle riflessioni del logico moravo, ci è sembrato sensato tentare di dare una presentazione di alcuni aspetti fondamentali dei suoi contributi logici, matematici e filosofici tenendo conto innanzitutto dell’immagine che di tali lavori è emersa dalla lettura degli inediti. Abbiamo quindi pensato di illustrare l’opera logico-matematica e fondazionale di Gödel secondo uno schema tripartito: una prima parte dedicata alla logica, una seconda sulla teoria degli insiemi ed infine un’ultima sulla filos
APA, Harvard, Vancouver, ISO, and other styles
2

Gambetta, Emanuele. "Structural Reflection and the Ultimate L as the true, noumenal universe of mathematics." Doctoral thesis, Scuola Normale Superiore, 2017. http://hdl.handle.net/11384/86148.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Чигур, І. І. "Розробка методу контролю технічного стану шарошкових доліт в умовах невизначеності процесу буріння". Thesis, Івано-Франківський національний технічний університет нафти і газу, 2000. http://elar.nung.edu.ua/handle/123456789/3904.

Full text
Abstract:
Дисертація присвячена розробці методу контролю технічного стану доліт, що базується на аналізі нечіткої (нечислової) інформації про параметри процесу буріння. Запропоновано новий метод контролю технічного стану шарошкових доліт на вибої свердловини, який включає в себе лінгвістичний опис технологічних ситуацій, що виникають в процесі буріння свердловин, і яким керуються технологи-ператори при прийнятті рішень про підйом долота для заміни в зв’язку із зношенням його опор чи озброєння. Метод дозволяє контролювати стан опор і озброєння шарошкових доліт у реальному масштабі часу, в умовах геолого-
APA, Harvard, Vancouver, ISO, and other styles
4

Johnson, Cory. "Suggestions for Deontic Logicians." Thesis, Virginia Tech, 2013. http://hdl.handle.net/10919/19221.

Full text
Abstract:
The purpose of this paper is to make a suggestion to deontic logic: Respect Hume\'s Law, the answer to the is-ought problem that says that all ought-talk is completely cut off from is-talk. Most deontic logicians have sought another solution: Namely, the solution that says that we can bridge the is-ought gap. Thus, a century\'s worth of research into these normative systems of logic has lead to many attempts at doing just that. At the same time, the field of deontic logic has come to be plagued with paradox. My argument essentially depends upon there being a substantive relation between this b
APA, Harvard, Vancouver, ISO, and other styles
5

STIVAL, STEFANO DOMINGUES. "ALFRED TARSKI: LOGICAL CONSEQUENCE, LOGICAL NOTIONS, AND LOGICAL FORMS." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2004. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=5484@1.

Full text
Abstract:
CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>O tema da presente dissertação é o problema da demarcação entre os termos lógicos e extralógicos no âmbito das ciências formais, anunciado primeiramente por Alfred Tarski em seu artigo de 1936, On the Concept of Logical Consequence. Depois de expor e discutir o problema em questão, mostrando seu surgimento a partir da necessidade de uma definição materialmente adequada do conceito de conseqüência lógica, analisamos a solução formulada por Tarski em um artigo publicado postumamente, intitulado What Are Logical Notions? Al
APA, Harvard, Vancouver, ISO, and other styles
6

Price, Mark. "Logical aspects of logical frameworks." Thesis, University of Bath, 2008. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.488882.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Шавранський, М. В. "Система контролю для запобігання прихоплень бурильної колони в процесі буріння". Thesis, Івано-Франківський національний технічний університет нафти і газу, 2003. http://elar.nung.edu.ua/handle/123456789/4004.

Full text
Abstract:
Робота присвячена питанням СК з метою запобігання прихоплень БК у процесі буріння, що базується на аналізі нечіткої (нечислової) інформації про параметри процесу буріння. Розроблена СК включає в себе лінгвістичний опис технологічних ситуацій, пов’язаних з виникненням прихоплень БК у процесі буріння свердловин, яким керуються технологи-оператори при прийнятті рішення про можливе прихоплення БК з метою його запобігання. СК дозволяє контролювати параметри процесу буріння в реальному часі в умовах невизначеності, що дає можливість досягти вищих техніко-економічних показників та запобігти прихоплен
APA, Harvard, Vancouver, ISO, and other styles
8

Sawaya, Antoine. "Pipeline logiciel." Versailles-St Quentin en Yvelines, 1997. http://www.theses.fr/1997VERS0012.

Full text
Abstract:
Dans cette thèse nous nous intéressons à l'exploitation du parallélisme à grain fin, dit aussi parallélisme d'instructions dans les processeurs vliw et super scalaires. Plus particulièrement, nous traitons le problème de l'optimisation des boucles par pipeline logiciel. Ces portions de code répétitives dominent largement le temps d'exécution des programmes scientifiques, d'où l'intérêt crucial de maîtriser leur optimisation dans la course actuelle à la performance. Dans un premier temps, nous étudions formellement le problème du découplage des contraintes de ressources et des contraintes de dé
APA, Harvard, Vancouver, ISO, and other styles
9

Horn, François. "L'économie du logiciel." Lille 1, 2000. http://www.theses.fr/2000LIL12017.

Full text
Abstract:
L'économie du logiciel se singularise par des contrastes et des paradoxes : par exemple, des performances boursières spectaculaires mais aussi une activité parfois matériellement desinteressee (développement des logiciels libres). Elle est confrontee a trois questions critiques : évolution jugée insuffisante de la productivité dans la production des logiciels, manque de fiabilité des logiciels produits, et relative inadaptation aux besoins des utilisateurs. L'économie du logiciel est fondamentalement marquée par la coexistence permanente de quatre mondes de production, qui reposent sur l'exist
APA, Harvard, Vancouver, ISO, and other styles
10

Horn, François Gadrey Jean. "L'économie du logiciel." [S.l.] : [s.n.], 2000. https://iris.univ-lille1.fr/dspace.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Logician"

1

Heinzmann, Gerhard, and Gereon Wolters, eds. Paul Lorenzen -- Mathematician and Logician. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Herrmann, Robert A. Nature: The supreme logician I. Institute for Mathematical Philosophy, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sytnik-Czetwertyński, Janusz. Jerzy Perzanowski, mój Mistrz i Przyjaciel. Wydawn. Uniwersytetu Jegiellońskiego, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Nahin, Paul J. The logician and the engineer: How George Boole and Claude Shannon created the information age. Princeton University Press, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Stolyarov, Vladislav. Dialectical methodology of theory construction in modern scientific knowledge. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/2099001.

Full text
Abstract:
The monograph is devoted to the analysis of dialectical (based on the theory of dialectics, dialectical thinking) methodology of theory construction. The concept of this methodology is based on the ideas of the world-famous logician A.A. Zinoviev about dialectical thinking as a system of logical operations, techniques, procedures in order to obtain an integral dialectical system of scientific knowledge about the essence, properties, structure, connections, change, functioning and development, contradictions of the studied object. The results of the author's long-term (more than 50 years) devel
APA, Harvard, Vancouver, ISO, and other styles
6

Gilmore, Paul C. Logicism renewed: Logical foundations for mathematics and computer science. Association for Symbolic Logic, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Nave, Francesco La. Logica e metodo scientifico nelle Contradictiones logicae di Girolamo Cardano. Istituti editoriali e poligrafici internazionali, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jong, Everardus Johannes De. Galileo Galilei's Logical treatises (MS 27) and Giacomo Zabarella's Opera logica : a comparison. University Microfilms International, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Aḥmad ibn ʻAbd al-Ḥalīm Ibn Taymīyah. Against the Greek logicians. Oxford University Press, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Books, Time-Life, ed. Le logiciel. Editions Time-Life, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Logician"

1

Murphy, Arthur. "‘Born a logician’." In Dr Johnson. Palgrave Macmillan UK, 1987. http://dx.doi.org/10.1007/978-1-349-08286-5_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hintikka, Jaakko. "Aristotle’s Incontinent Logician." In Analyses of Aristotle. Springer Netherlands, 2004. http://dx.doi.org/10.1007/1-4020-2041-4_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Carroll, Lewis, and Edward Wakeling. "Mathematician and Logician." In Lives of Victorian Literary Figures, Part VI, Volume 1. Routledge, 2024. https://doi.org/10.4324/9781003513094-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Russell, Bertrand, John G. Slater, and Bernd Frohmann. "A Medical Logician [1912]." In The Collected Papers of Bertrand Russell, Volume 6. Routledge, 2024. http://dx.doi.org/10.4324/9781003557395-10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Jacquette, Dale. "Confessions of a Meinongian Logician." In Alexius Meinong, The Shepherd of Non-Being. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-18075-5_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Davis, Martin. "My Life as a Logician." In Outstanding Contributions to Logic. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41842-1_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Omyła, Mieczysław. "Roman Suszko: Logician and Philosopher." In Studies in Universal Logic. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-65430-0_52.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Neuwirth, Stefan. "Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains (1938–1953)." In Paul Lorenzen -- Mathematician and Logician. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_9.

Full text
Abstract:
AbstractKrull’s Fundamentalsatz, the generalisation of the main theorem of elementary number theory to integral domains, is the starting point of Lorenzen’s career in mathematics. This article traces a conceptual history of Lorenzen’s successive reformulations of the Fundamentalsatz on the basis of excerpts of his articles. An edition of the extant correspondence of Lorenzen with Hasse, Krull, and Aubert provides a better understanding of the context of these investigations.
APA, Harvard, Vancouver, ISO, and other styles
9

Heinzmann, Gerhard. "Operation and Predicativity: Lorenzen’s Approach to Arithmetic." In Paul Lorenzen -- Mathematician and Logician. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_2.

Full text
Abstract:
AbstractIn this article we give an overview, from a philosophical point of view, of Lorenzen’s construction of the natural and the real numbers. Particular emphasis is placed on Lorenzen’s classification in the tradition of predicative approaches that stretches from Poincaré to Feferman.
APA, Harvard, Vancouver, ISO, and other styles
10

Fermüller, Christian G. "Connecting Sequent Calculi with Lorenzen-Style Dialogue Games." In Paul Lorenzen -- Mathematician and Logician. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-65824-3_8.

Full text
Abstract:
Abstract Lorenzen has introduced his dialogical approach to the foundations of logic in the late 1950s to justify intuitionistic logic with respect to first principles about constructive reasoning. In the decades that have passed since, Lorenzen-style dialogue games turned out to be an inspiration for a more pluralistic approach to logical reasoning that covers a wide array of nonclassical logics. In particular, the close connection between (single-sided) sequent calculi and dialogue games is an invitation to look at substructural logics from a dialogical point of view. Focusing on intuitionis
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logician"

1

Zhao, Ying. "LogicAL: Towards logical anomaly synthesis for unsupervised anomaly localization." In 2024 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). IEEE, 2024. http://dx.doi.org/10.1109/cvprw63382.2024.00406.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lei, Yuanyuan, and Ruihong Huang. "Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree." In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, 2024. http://dx.doi.org/10.18653/v1/2024.emnlp-main.730.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sun, Mingming, Xu Li, Xin Wang, Miao Fan, Yue Feng, and Ping Li. "Logician." In WSDM 2018: The Eleventh ACM International Conference on Web Search and Data Mining. ACM, 2018. http://dx.doi.org/10.1145/3159652.3159712.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Beekman, J. A., R. M. Owens, and M. J. Irwin. "Mesh arrays and LOGICIAN: a tool for their efficient generation." In 24th ACM/IEEE conference proceedings. ACM Press, 1987. http://dx.doi.org/10.1145/37888.37942.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Leonov, Valery P. "“Les Attractions sont proportionelles aus Destinees” (in honor of the 90-th anniversary of Delir Gasemovich Lakhuti)." In The letter and digit: The libraries on the way to digitalization. Russian National Public Library for Science and Technology, 2024. http://dx.doi.org/10.33186/978-5-85638-275-3-117-122.

Full text
Abstract:
The author offers a brief review of the work of Delir G. Lakhti, an outstanding logician, philosopher, information scholar, linguist, and translator. He was developing the problems of logics of information retrieval system and their intellectualization. As a translator, Lakhuti introduced national researchers to the world of Karl R. Popper’s o bjective knowledge. D. Lakhuti is forever recorded in the history of science and book culture.
APA, Harvard, Vancouver, ISO, and other styles
6

Wong, Limsoon. "Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics." In 2006 Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, 2006. http://dx.doi.org/10.1109/synasc.2006.14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Sun, Mingming, Xu Li, and Ping Li. "Logician and Orator: Learning from the Duality between Language and Knowledge in Open Domain." In Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, 2018. http://dx.doi.org/10.18653/v1/d18-1236.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Волкова, М. С., and Ю. И. Арутюнян. "THE WAY TO STREFISM: THE EVOLUTION OF LEON CHWISTEK’S ARTISTIC PRINCIPLES IN THE CONTEXT OF EUROPEAN MODERNISM OF 1917–1925." In Месмахеровские чтения — 2024 : материалы междунар. науч.-практ. конф., 21– 22 марта 2024 г. : сб. науч. ст. / ФГБОУ ВО «Санкт-Петербургская государственная художественно-промышленная академия имени А. Л. Штиглица». Crossref, 2024. http://dx.doi.org/10.54874/9785605162926.2024.10.51.

Full text
Abstract:
Творческий метод польского художника, философа, математика, логика и теоретика искусства Леона Хвистека (1884–1944 гг.) формировался в контексте ведущих европейских художественных тенденций первой четверти XX в. Восприняв опыт экспрессионизма, кубизма, орфизма и футуризма, к 1922 г. мастер пришел к созданию собственной художественной системы. Стрефизм стал первым этапом на пути развития польского абстрактного искусства. The artist’s method of Leon Chwistek (1884–1944), Polish artist, philosopher, mathematician, logician and art theorist, was formed in the context of leading european artistic t
APA, Harvard, Vancouver, ISO, and other styles
9

Fiorentini, X., S. Rachuri, M. Mahesh, S. Fenves, and Ram D. Sriram. "Description Logic for Product Information Models." In ASME 2008 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2008. http://dx.doi.org/10.1115/detc2008-49348.

Full text
Abstract:
The languages and logical formalisms developed by information scientists and logicians concentrate on the theory of languages and logical theorem proving. These languages, when used by domain experts to represent their domain of discourse, most often have issues related to the level of expressiveness of the languages and need specific extensions. In this paper we analyze the levels of logical formalisms and expressivity requirements for the development of ontologies for manufacturing products. We first discuss why the representation of a product model is inherently complex and prone to inconsi
APA, Harvard, Vancouver, ISO, and other styles
10

Kang, Bo, and Joseph LaViola. "LogicPad." In the 2012 ACM international conference. ACM Press, 2012. http://dx.doi.org/10.1145/2166966.2167014.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logician"

1

Bastien, R. Logiciel d'echantillonnage pour le polycorder. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1986. http://dx.doi.org/10.4095/315262.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bastien, R. Logiciel d'echantillonnage pour le polycorder. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1986. http://dx.doi.org/10.4095/315263.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

ODYSSEY RESEARCH ASSOCIATES INC ITHACA NY. Report on Logical Foundations. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada289616.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Balas, E., G. Cornuejols, and J. N. Hooker. Covering, Packing and Logical Inference. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada274314.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Fong, Elizabeth N., Margaret W. Henderson, David K. Jefferson, and Joan M. Sullivan. Guide on logical database design. National Bureau of Standards, 1985. http://dx.doi.org/10.6028/nbs.sp.500-122.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Niyogi, Partha, and Robert Berwick. The Logical Problem of Language Change. Defense Technical Information Center, 1995. http://dx.doi.org/10.21236/ada307025.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Berger, L., C. Hopps, A. Lindem, D. Bogdanovic, and X. Liu. YANG Model for Logical Network Elements. RFC Editor, 2019. http://dx.doi.org/10.17487/rfc8530.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sondheim, M., and C. Hodgson. Common hydrology features (CHyF) logical model. Natural Resources Canada/CMSS/Information Management, 2024. http://dx.doi.org/10.4095/328952.

Full text
Abstract:
The Open Geospatial Consortium has defined "OGC WaterML 2: Part 3 - Surface Hydrology Features (HY_Features) - Conceptual Model", but not any particular implementation of it. The Common Hydrology Features (CHyF) model extends HY_Features and makes some minor changes to it required for implementation and the delivery of high performance services. HY_Features discusses catchment coverage and topological relations. In CHyF these are key ideas, as is the notion that hydrologically defined network components form elements of a mathematical graph, allowing for very fast network traversal. HY_Feature
APA, Harvard, Vancouver, ISO, and other styles
9

Osipov, G. S. USING THE LOGICAL FUNCTION OF THE LOGICAL PROBLEM IN THE REVERSE PROBLEM FOR FUZZY RELATIONAL EQUATIONS. Издательство «Олимп», 2018. http://dx.doi.org/10.18411/olimp-2018-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hickey, Jason, Aleksey Nogin, Adam Granicz, and Brian Aydemir. Formal Compiler Implementation in a Logical Framework. Defense Technical Information Center, 2003. http://dx.doi.org/10.21236/ada437424.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!