Word equations and related topics : :: SCD d'Orléans

Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings

Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings

This volume contains papers presented at the second International Workshop on Word Equations and Related Topics (IWWERT '91), held at the University ofRouen in October 1991. The papers are on the following topics: general solution of word equations, conjugacy in free inverse monoids, general A-...

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Awdur Corfforaethol:	Second international workshop on word equations and related topics
Awduron Eraill:	Abdulrab, Habib, 1956-...., chercheur en informatique (Cyfarwyddwr cyhoeddi), Pecuchet, Jean-Pierre (Cyfarwyddwr cyhoeddi)
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in computer science 677
Pynciau:	Informatique Langages de programmation > sémantique Intelligence artificielle Semigroupes Logique symbolique et mathématique Structures de données (informatique) Groupes, Théorie des Actes de congrès
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Word equations and related topics, Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991, proceedings, Habib Abdulrab, Jean-Pierre Pécuchet, eds, Berlin, Springer-Verlag, 1993, 1 vol. (214 p.), Lecture notes in computer science, 3-540-56730-5 • Word Equations and Related Topics, Texte imprimé, 9783662178096

Eitemau Tebyg

Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings

Model generation for natural language interpretation and analysis
gan: Konrad, Karsten, 1969-

Deductive and object-oriented databases : Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991 : proceedings

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

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24 26, 1989 : proceedings
gan: Bläsius, Karl Hans, 1952-

Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1996 : proceedings

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings

Current topics in artificial intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers

Semantics of Data Types : International symposium Sophia-Antipolis, France, June 27 29, 1984 : proceedings

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Knowledge discovery in databases : ; proceedings PKDD 2004 : 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004

A tight, practical integration of relations and functions
gan: Boley, Harold

Theoretical computer science : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4 6, 2001 : proceedings
gan: Restivo, Antonio, et al.

Principles of data mining and knowledge discovery : 4 th European Conference, PKDD 2000, Lyon, France, September 13-16, 2000 : proceedings

Principles of data mining and knowledge discovery : 6th European Conference, PKDD 2002, Helsinki, Finland, August 19 23, 2002 : proceedings

Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings
gan: Jorrand, Philippe, 19..-...., informaticien

Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N. C., USA, October 16 19, 1991 : proceedings
gan: Ras, Zbigniew W., 1947-

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

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Conceptual modeling - ER 2000 : 19th International Conference on Conceptual Modeling Salt Lake City, Utah, USA, October 9 12, 2000 : proceedings

A methodology for uncertainty in knowledge-based systems
gan: Weichselberger, Kurt, et al.

Knowledge discovery in databases : PKDD 2003 : 7th European conference on principles and practice of knowledge discovery in databases, Cavtat-Dubrovnik, Croatia, september 22-26, 2003 : proceedings

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Principles and practice of semantic Web reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003 : proceedings

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

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

The logic of theory change : workshop, Konstanz, FRG, October 13 15, 1989 : proceedings
gan: Fuhrmann, André

Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

New directions in rough sets, data mining, and granular-soft computing : 7th International Workshop, RSFDGrC 99, Yamaguchi, Japan, November 9-11, 1999 : proceedings

Rough sets, fuzzy sets, data mining, and granular computing : 9th international conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003 : proceedings

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloß Reinfels, St. Goar, Germany, May 7 10, 1995 : proceedings
gan: Baumgartner, Peter, 1953-

Logics in artificial intelligence : European Workshop, JELIA 98, Dagstuhl, Germany, October 12 15, 1998 : proceedings

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : 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