Formal concept analysis : :: SCD d'Orléans

Formal concept analysis : mathematical foundations : with 105 figures

Formal concept analysis : mathematical foundations : with 105 figures

Salvato in:

Dettagli Bibliografici
Autori principali:	Ganter, Bernhard, Wille, Rudolf (Autore)
Altri autori:	Franzke, Cornelia (Traduttore)
Natura:	Livre papier
Lingua:	Anglais
Pubblicazione:	Berlin ; New York : Springer cop. 1999.
Soggetti:	Treillis, théorie des Entendement (philosophie) > Modèles mathématiques Information, Théorie de l' Intelligence artificielle > Modèles mathématiques Logique symbolique et mathématique
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings

The logic of information structures
di: Wansing, Heinrich, 1963-

Metamathematical investigation of intuitionistic arithmetic and analysis
di: Troelstra, Anne Sjerp

Eléments de logique mathématique : théorie des modèles
di: Kreisel, Georg, 1923-2015, et al.
Pubblicazione: (1967)

Logique. Méthodes pour l'intelligence artificielle
di: Gochet, Paul, 1932-2011, et al.
Pubblicazione: (2000)

Model theory
di: Chang, Chen Chung, 1927-2014, et al.
Pubblicazione: (1973)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
di: Keisler, Howard Jerome, 1936-
Pubblicazione: (1971)

Model Theory and Arithmetic : Comptes Rendus d'une Action Thématique Programmée du C.N.R.S. sur la Théorie des Modèles et l'Arithmétique, Paris, France, 1979/80
di: Berline, Chantal, mathématicienne

Logica Universalis : Towards a General Theory of Logic
di: Beziau, Jean-Yves

Institution-independent Model Theory
di: Diaconescu, Răzvan, 1964-
Pubblicazione: (2008)

Around Classification Theory of Models
di: Shelah, Saharon, 1945-...., mathématicien

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
di: Makkai, Mihály, 1939-, et al.

The logic system of concept graphs with negation : and its relationship to predicate logic
di: Dau, Frithjof

Logique. Méthodes formelles pour l'étude des programmes
di: Gochet, Paul, 1932-2011, et al.
Pubblicazione: (1994)

Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers

Algebraic systems
di: Mal'cev, Anatolii Ivanovič, 1909-1967
Pubblicazione: (1973)

Introduction to model theory and to the metamathematics of algebra
di: Robinson, Abraham, 1918-1974, mathématicien
Pubblicazione: (1965)

QCD and numerical analysis III : proceedings of the third international workshop on numerical analysis and lattice QCD, Edinburgh, June-July 2003

Lecture notes on O-minimal structures and real analytic geometry
di: Miller, Christopher

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983

Computational learning theory : 4th European Conference, EuroCOLT 99, Nordkirchen, Germany, March 29 31, 1999 : proceedings

Resolution methods for the decision problem
di: Fermüller, Christian G., et al.

Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework
di: Lawry, Jonathan

Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers

Applications of uncertainty formalisms
di: Hunter, Anthony, 1962-

New trends in formal languages : control, cooperation, and combinatorics
di: Păun, Gheorghe, 1950-

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Pubblicazione: (1977)

Model Theory and Algebraic Geometry : An introduction to E. Hrushovski s proof of the geometric Mordell-Lang conjecture

Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1 7, 1979

Topological Model Theory
di: Flum, Jörg, 1944-, et al.

Logique. Méthodes pour l'informatique fondamentale
di: Gochet, Paul, 1932-2011, logicien, et al.
Pubblicazione: (1990)

Proof theory in computer science : ; proceedings international seminar, PTCS 2001, Dagstuhl Castle, Germany, Ocotober 7-12, 2001
di: Kahle, Reinhard, 1967-

Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada August 2 4, 2002 : proceedings

Theory of Crystal Space Groups and Lattice Dynamics : Infra-Red and Raman Optical Processes of Insulating Crystals
di: Birman, Joseph Leon, 1927-2016, physicien-théoricien

Systems of reductions
di: Benninghofen, Benjamin, 1958-, et al.

The mathematical apparatus for quantum-theories : based on the theory of Boolean lattices
di: Nikodym, Otton, 1887-1974
Pubblicazione: (1966)

Logique mathématique. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices
di: Cori, René, et al.
Pubblicazione: (1993)

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives
di: Badesa, Calixto, 19..-
Pubblicazione: (2009)

The Pontryagin duality of compact O-dimensional semilattices and its applications
di: Hofmann, Karl Heinrich, 1932-, et al.

Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales