Concept lattices : :: SCD d'Orléans

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

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

This volume contains the Proceedings of ICFCA 2004, the 2nd International Conference on Formal Concept Analysis. The ICFCA conference series aims to be the premier forum for the publication of advances in applied lattice and order theory and in particular scienti?c advances related to formal concept...

Descrizione completa

Salvato in:

Dettagli Bibliografici
Ente Autore:	International Conference on Formal Concept Analysis :Sydney, AU
Altri autori:	Eklund, Peter, 1962- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science. Lecture notes in artificial intelligence 2961
Soggetti:	Génie logiciel Modèles mathématiques Informatique Information, Théorie de l' Intelligence artificielle Logique symbolique et mathématique Informatique documentaire Compréhension Théorie des treillis Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Concept lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, proceedings, Peter Eklund (ed.), Berlin, Springer, 2004, 1 vol. (IX-409 p.), Lecture notes in computer science, 3-540-21043-1 • Concept Lattices, Texte imprimé, 9783662171059

Documenti analoghi

Formal concept analysis : mathematical foundations : with 105 figures
di: Ganter, Bernhard, et al.
Pubblicazione: (1999)

Automated reasoning : Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
di: Basin, David

TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development, Pisa, Italy, March 23-27, 1987 Advanced seminar on foundations of innovative software development I and Colloquium on trees in algebra and programming (CAAP '87)

Abstract state machines 2004 : ; proceedings advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12 16, 1988 : proceedings

Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings

Principles and practice of Semantic Web reasoning : Second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004 : proceedings
di: Ohlbach, Hans Jürgen

Challenges for action theories
di: Thielscher, Michael

Termination proofs for logic programs
di: Plümer, Lutz, 1951-

Compiler construction : 13th International Conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 2001 : proceedings

Computer aided verification : ; proceedings 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004

Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
di: Schmid, Ute

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
di: Slind, Konrad

Residuated lattices : an algebraic glimpse at substructural logics
di: Galatos, Nikolaos, 19..-, et al.
Pubblicazione: (2007)

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings

Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April 24 26, 1996 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
di: Bruynooghe, Maurice

Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

Algebraic methodology and software technology : 7th International Conference, AMAST 98, Amazonia, Brazil, January 4 8, 1999 : proceedings

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1 5, 1996 : proceedings

Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Graph-grammars and their application to computer science : 4th International Workshop, Bremen, Germany, March 5-9, 1990 : proceedings

Theoretical aspects of computer software : Third International Symposium, TACS'97, Sendai, Japan, September 23 26, 1997 : proceedings

Algebraic methodology and software technology : 6th international conference, AMAST ±97, Sydney, Australia, December 13-17, 1997 : proceedings

Logic at Botik '89 : Symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings

Cryptography and lattices : international conference, CaLC 2001, Providence RI, USA, March 29-30, 2001 : revised papers

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 28, 1996 : proceedings

Isabelle/HOL : a proof assistant for higher-order logic
di: Nipkow, Tobias, 1958-..., informaticien, et al.

Compiler construction : 4th International Conference, CC '92, Paderborn, FRG, October 5 7, 1992 : proceedings

Lattices over orders.
di: Roggenkamp, Klaus Wilhelm, 1940-

Lattices over orders.
di: Roggenkamp, Klaus Wilhelm, 1940-, et al.

Compiler construction : 5th International Conference, CC '94, Edinburgh, U.K., April 7 9, 1994 : proceedings

Compiler construction : 12th international conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings

Compiler construction : 10th International Conference, CC 2001 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy,April 2-6, 2001 : 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