Relevant bibliographies by topics / Logician / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Logician.

Dissertations / Theses on the topic 'Logician'

Author: Grafiati
Published: 29 July 2024
Last updated: 25 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research 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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

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
11

Emms, Martin Thomas. "Logical ambiguity." Thesis, University of Edinburgh, 1995. http://hdl.handle.net/1842/26487.

Full text
Abstract:
The thesis presents research in the field of model theoretic semantics on the problem of ambiguity, especially as it arises for sentences that contain junctions (and, or) and quantifiers (every man, a woman). A number of techniques that have been proposed are surveyed, and I conclude that these ought to be rejected because they do not make ambiguity 'emergent': they all have the feature that subtheories would be able to explain all syntactic facts yet would predict to ambiguity. In other words these accounts have a special purpose mechanism for generating ambiguities. It is argued that <I>cate
APA, Harvard, Vancouver, ISO, and other styles
12

Dias, M. G. "Logical reasoning." Thesis, University of Oxford, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.233533.

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

NASCIMENTO, VICTOR LUIS BARROSO. "LOGICAL ECUMENISM." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2018. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=34598@1.

Full text
Abstract:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>CONSELHO NACIONAL DE DESENVOLVIMENTO CIENTÍFICO E TECNOLÓGICO<br>A história recente da Lógica Matemática foi marcada por alguns conflitos entre diferentes correntes filosóficas, cada uma buscando contextualizar a atividade matemática a partir de seu próprio prisma analítico e, por meio disso, tentando conquistar para si mesma o pódio fundacional das Ciências Formais Tais discussões, perenes o bastante para ainda quedarem sem solução, foram fortemente impactadas pela apropriação semântica de alguns resultados técnicos obtidos no campo da teo
APA, Harvard, Vancouver, ISO, and other styles
14

Kouri, Teresa. "Logical Instrumentalism." The Ohio State University, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=osu1472751856.

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

Szalapaj, Peter J. "Logical graphics : logical representation of drawings to effect graphical transformation." Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/19334.

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

Elkind, Landon D. C. "The search for logical forms: in defense of logical atomism." Diss., University of Iowa, 2018. https://ir.uiowa.edu/etd/3250.

Full text
Abstract:
I here defend logical atomism. This defense rests on reinterpreting logical atomism as a search for logical forms. This reinterpretation has two parts comprising six chapters. In the first part, I do some historically-driven recovery. In the introduction, I review the literature on Russell's logical atomism. In Chapter 1, I argue that the dominant interpretation of logical atomism is wrong on historical grounds: it accounts for neither the history of logical atomism nor for crucial elements of the logical atomist texts. In Chapter 2, I then use Russell's writings to recover what I argue is the
APA, Harvard, Vancouver, ISO, and other styles
17

Frias, Denis. "Hegel's logical determinations." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape9/PQDD_0001/MQ46569.pdf.

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

Evans, Mary James. "(Mytho) logical crisis." Thesis, Georgia Institute of Technology, 1994. http://hdl.handle.net/1853/23930.

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

Leevers, Hilary Janet. "Children's logical reasoning." Thesis, University of Oxford, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.362050.

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

Simmons, Robert J. "Substructural Logical Specifications." Research Showcase @ CMU, 2012. http://repository.cmu.edu/dissertations/205.

Full text
Abstract:
A logical framework and its implementation should serve as a flexible tool for specifying, simulating, and reasoning about formal systems. When the formal systems we are interested in exhibit state and concurrency, however, existing logical frameworks fall short of this goal. Logical frameworks based on a rewriting interpretation of substructural logics, ordered and linear logic in particular, can help. To this end, this dissertation introduces and demonstrates four methodologies for developing and using substructural logical frameworks for specifying and reasoning about stateful and concurren
APA, Harvard, Vancouver, ISO, and other styles
21

D'Silva, Vijay Victor. "Logical abstract interpretation." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:3648e579-01dc-4054-8290-31626d53b003.

Full text
Abstract:
Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of logic and abstract interpretation enables a unified and simple treatment of several theoretical and practical topics which encompass the model theory of temporal logics, the analysis of satisfiability solvers, and the construction of Craig interpolants. In each case, the combination of logic and abstract interpretation leads to more general results, simpler proofs, and a unification of ideas from seemingly disparate fields. The first c
APA, Harvard, Vancouver, ISO, and other styles
22

Villeneuve, D. "Logiciel de génération de colonnes." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp02/NQ53547.pdf.

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

Friend, Michèle. "The possibility of Frege's logicism /." Thesis, McGill University, 1991. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61073.

Full text
Abstract:
In order to understand the implications of Frege's Grundlagen der Arithmetik, we must bear in mind that Frege saw logic as an overarching discipline, necessary for all scientific enquiry. This consideration allows us to make sense of his logicism, the idea that arithmetic is embedded in logic, and his platonism, the commitment to the mind-independent nature of arithmetic objects, such as numbers. In 1902, Russell generated a paradox from Basic Law (V), found in the first volume of Grundgesetze, which suggested that Frege's entire logical system was inconsistent. Recent work by Boolos and Wrigh
APA, Harvard, Vancouver, ISO, and other styles
24

Perez, Berro Miriam. "Méthodologie d'évaluation d'utilisabilité de logiciel." Mémoire, Université de Sherbrooke, 2007. http://savoirs.usherbrooke.ca/handle/11143/1406.

Full text
Abstract:
L'un des problèmes des équipes de développement de logiciel consiste à évaluer la facilité d'utilisation de leurs produits, c'est-à-dire, à évaluer la qualité de l'interaction personne-machine. Le développeur lui-même n'est pas capable, dans la plupart des cas, de juger la qualité d'utilisation de l'interface qu'il propose, pour la simple raison qu'il n'est pas l'utilisateur réel du produit. Une fois les erreurs de code éliminées, il est possible que les utilisateurs d'un logiciel ne puissent pas encore travailler efficacement à cause d'erreurs de conception d'utilisabilité. Il s'avère nécessa
APA, Harvard, Vancouver, ISO, and other styles
25

DE, MALDAT DU LYS FRANCOIS. "Geolis : logiciel interactif d'imagerie tridimensionnelle." Toulouse 3, 1992. http://www.theses.fr/1992TOU31568.

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

Chaouki, Saïd. "Logiciel de traitement du signal." Rouen, 1987. http://www.theses.fr/1987ROUES024.

Full text
Abstract:
Etude d'un algorithme pour le traitement d'un signal. Cet algorithme est composé de différents programmes indépendants permettant le calcul des polynômes orthonormaux, le calcul récursif, le calcul de la transformée de Fourier, de densité spectrale, réponse impulsionnelle d'un filtre numérique. Application à la reconnaissance des formes et simulation du processus de Lévy
APA, Harvard, Vancouver, ISO, and other styles
27

Masse, Jean-François. "Applications dentaires du logiciel Photoshop." Master's thesis, Université Laval, 2004. http://hdl.handle.net/20.500.11794/18089.

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

Perez, Berro Miriam. "Méthodologie d'évaluation d'utilisabilité de logiciel." [S.l. : s.n.], 2007.

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

Chaouki, Saïd. "Logiciel de traitement du signal." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb376038369.

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

Taudin, Florent Chambonnet Yves. "Quel logiciel en médecine générale ?" [S.l.] : [s.n.], 2004. http://theses.univ-nantes.fr/thesemed/MEDtaudin.pdf.

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

Cassagne, François. "Le bilan du logiciel fiscal." Paris 8, 1989. http://www.theses.fr/1989PA080404.

Full text
Abstract:
Le logiciel comptable exprime une realite fiscalo-economique avec ses regles de fond et de forme au sein duquel le logic iel (de comptabilite ou autres) apparait comme un objet de droit polymorphe suivant les branches juridiques (civile, fis cale, comptable) en definitive, sa neutralite technique l'appelle a devenir un moyen fiscal de controle sur lui-meme, mais egalement sur les donnees et informations contenues dans les systemes informatiques avec les risques de violation d e la vie privee inherents au droit des personnes<br>The software of accounting expresses a fiscal and economical realit
APA, Harvard, Vancouver, ISO, and other styles
32

Cutler, Darcy. "Concepts of logical consequence." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/nq21283.pdf.

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

Gomez-Holtved, Francisco. "Russell on logical form." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp04/NQ63742.pdf.

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

Berwanger, Dietmar. "Games and logical expressiveness." kostenfrei, 2005. http://deposit.ddb.de/cgi-bin/dokserv?idn=975203452.

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

Simone, Duca. "Logical constraints on metacognition." Thesis, University of Bristol, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539753.

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

Sequoiah-Grayson, Sebastian. "Information and logical equivalence." Thesis, University of Oxford, 2008. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.496650.

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

Jiang, Yan. "Logical dependency in quantification." Thesis, University College London (University of London), 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.306968.

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

Steinberger, Florian. "Harmony and logical inferentialism." Thesis, University of Cambridge, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611346.

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

Murzi, Julien. "Intuitionism and logical revision." Thesis, University of Sheffield, 2011. http://etheses.whiterose.ac.uk/14547/.

Full text
Abstract:
The topic of this thesis is logical revision: should we revise the canons of classical reasoning in favour of a weaker logic, such as intuitionistic logic? In the first part of the thesis, I consider two metaphysical arguments against the classical Law of Excluded Middle-arguments whose main premise is the metaphysical claim that truth is knowable. I argue that the first argument, the Basic Revisionary Argument, validates a parallel argument for a conclusion that is unwelcome to classicists and intuitionists alike: that the dual of the Law of Excluded Middle, the Law of Non-Contradiction, is e
APA, Harvard, Vancouver, ISO, and other styles
40

Peron, Newton Marques 1982. "Logicas da inconsistencia deontica." [s.n.], 2009. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278895.

Full text
Abstract:
Orientador: Marcelo Esteban Coniglio<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Made available in DSpace on 2018-08-13T04:53:14Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_M.pdf: 601027 bytes, checksum: 5828adda31c6102b730941a14056d7d9 (MD5) Previous issue date: 2009<br>Resumo: Esse trabalho expõe brevemente o que são as Lógicas da Inconsistência Formal ¿Observação: O resumo, na íntegra poderá ser visualizado no texto completo da tese digital.<br>Abstract: This work expose briefly what are the Logics of Formal Inconsisten
APA, Harvard, Vancouver, ISO, and other styles
41

Hulley, Hardy. "Logical presentations of domains." Master's thesis, University of Cape Town, 1993. http://hdl.handle.net/11427/17336.

Full text
Abstract:
Bibliography: pages 168-174.<br>This thesis combines a fairly general overview of domain theory with a detailed examination of recent work which establishes a connection between domain theory and logic. To start with, the theory of domains is developed with such issues as the semantics of recursion and iteration; the solution of recursive domain equations; and non-determinism in mind. In this way, a reasonably comprehensive account of domains, as ordered sets, is given. The topological dimension of domain theory is then revealed, and the logical insights gained by regarding domains as topologi
APA, Harvard, Vancouver, ISO, and other styles
42

De, Supinski Bronis R. "Logical time coherence maintenance." Full text, Acrobat Reader required, 1998. http://viva.lib.virginia.edu/etd/theses/supinski98.pdf.

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

Lear, Jonathan. "Aristotle and logical theory /." Cambridge ; New York ; Port Chester [etc.] : Cambridge university press, 1990. http://catalogue.bnf.fr/ark:/12148/cb373723536.

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

Britto, Arthur Heller. "O teorema de Frege: uma reavaliação do seu projeto logicista." Pontifícia Universidade Católica de São Paulo, 2013. https://tede2.pucsp.br/handle/handle/11644.

Full text
Abstract:
Made available in DSpace on 2016-04-27T17:27:06Z (GMT). No. of bitstreams: 1 Arthur Heller Britto.pdf: 403242 bytes, checksum: 9ea7d542e4846499fab1760b30fe2a33 (MD5) Previous issue date: 2013-11-08<br>The objective of this dissertation is first to present the fundamental part of Frege's logicist project - that became known as Frege's theorem - as an independent mathematical result in order to then evaluate its philosophical significance through a discussion of Frege's concept of logic. Besides, there are two appendixes in which a general recursion theorem is proven inside a classical second-
APA, Harvard, Vancouver, ISO, and other styles
45

Del, Din Guido. "Empirismo e semantica: da Rudolf Carnap all'epistemologia contemporanea." Doctoral thesis, Università degli studi di Padova, 2013. http://hdl.handle.net/11577/3422596.

Full text
Abstract:
Empiricism and Semantics: From Rudolf Carnap to Contemporary Epistemology In recent years analytic philosophy has developed a deeper interest in the historiographical reconstruction of its roots. This interest is testified by many publications, which have appeared since the 90’s, about the life and thought of classical authors of analytic tradition, like Frege, Russell, Wittgenstein, Carnap and Tarski. In my doctoral thesis I take up this line, focusing on two famous works of Rudolf Carnap: Der logische Aufbau der Welt, published in 1928, and Logische Syntax der Sprache, published in 1934. T
APA, Harvard, Vancouver, ISO, and other styles
46

Wunderlich, Richard Bryan. "CMOS gate delay, power measurements and characterization with logical effort and logical power." Thesis, Atlanta, Ga. : Georgia Institute of Technology, 2009. http://hdl.handle.net/1853/31652.

Full text
Abstract:
Thesis (M. S.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2010.<br>Committee Chair: Paul Hasler; Committee Member: David V Anderson; Committee Member: Saibal Mukhopadhyay. Part of the SMARTech Electronic Thesis and Dissertation Collection.
APA, Harvard, Vancouver, ISO, and other styles
47

Nalon, Cláudia. "Logica condicional forte." [s.n.], 1997. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276117.

Full text
Abstract:
Orientador: Jacques Wainer<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação<br>Made available in DSpace on 2018-07-23T12:34:38Z (GMT). No. of bitstreams: 1 Nalon_Claudia_M.pdf: 2467341 bytes, checksum: 9f24d9238b525a65fc41d8409dadac9b (MD5) Previous issue date: 1997<br>Resumo: As lógicas não-monotônicas podem ser classificadas, segundo as conclusões que podem ser obtidas, em fracas ou fortes. As lógicas fortes, entre as quais se incluem sistemas nãomonotônicos clássicos [Reiter, 80] [McCarthy,80] [Moore, 85] [Marek e Truszczynski, 91], permitem conclusõe
APA, Harvard, Vancouver, ISO, and other styles
48

Mukherji, Proshanto. "Laws in logical worlds : using statistical inference to uncover the structure of logical domains /." Saarbrücken : VDM Verlag Dr. Müller, 2008. http://opac.nebis.ch/cgi-bin/showAbstract.pl?u20=9783836454377.

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

Mukherji, Proshanto. "Laws in logical worlds using statistial inference to uncover the structure of logical domains." Saarbrücken VDM Verlag Dr. Müller, 2006. http://d-nb.info/989451313/04.

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

Garcia, Camargo Sergio. "Ingénierie Concurrente en Génie Logiciel: Céline." Phd thesis, Université Joseph Fourier (Grenoble), 2006. http://tel.archives-ouvertes.fr/tel-00263683.

Full text
Abstract:
La croissance en taille et en complexité des logiciels actuels, ainsi que les contraintes du marché, rendent de plus en plus nécessaires les techniques d'ingénierie concurrente. Ces techniques servent à réduire les temps de développement en permettant à plusieurs développeurs de travailler simultanément sur les mêmes objets. Malheureusement, la concurrence pose de nombreux problèmes mal gérés par les systèmes de support à la collaboration qui existent aujourd'hui. Le contrôle de la concurrence est donc un défi pour les concepteurs d'environnements de génie logiciel. Cette thèse s'intéresse au
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Logician' for other source types:
Journal articles Books
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!

To the bibliography