Automata implementation : :: SCD d'Orléans

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

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

The papers contained in this volume were presented at the third international Workshop on Implementing Automata, held September 17{19,1998, at the U- versity of Rouen, France. Automata theory is the cornerstone of computer science theory. While there is much practical experience with using automata,...

Полное описание

Сохранить в:

Библиографические подробности
Соавтор:	International Workshop on Implementing Automata :Rouen
Другие авторы:	Champarnaud, Jean-Marc, 19..-...., auteur en informatique (Публикующий директор), Maurel, Denis, 1956-...., auteur en informatique (Публикующий директор), Ziadi, Djelloul, 1967-...., enseignant-chercheur en informatique (Публикующий директор)
Формат:	Livre numérique
Язык:	Anglais
Опубликовано:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Серии:	Lecture notes in computer science 1660
Предметы:	Informatique Automates mathématiques, Théorie des Intelligence artificielle Logique symbolique et mathématique Structure logique Actes de congrès
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
Примечание:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automata implementation, third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, revised papers, Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi (eds.), 1999, New York, Springer, 1 vol. (X-243 p.), Lecture notes in computer science, 3-540-66652-4 • Automata Implementation, Texte imprimé, 9783662194485

Схожие документы

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

Automata implementation : Second International Workshop on Implementing Automata, WIA '97, London, Ontario, Canada, September 18-20, 1997 : revised papers
по: Wood, Derick, 1940-, и др.

Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers

Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers

Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers

Advances in learning classifier systems : third international workshop, IWLCS 2000, Paris, France, September 15-16, 2000 : revised papers

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

Implementation and application of automata : 7th International Conference, CIAA 2002, Tours, France, July 3 5, 2002 : pevised papers

Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings

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

Learning classifier systems : 5th international workshop, IWLCS 2002, Granada, Spain, September 7-8, 2002 : revised papers

Automata, logics, and infinite games
по: Grädel, Erich, 1958-

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings

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

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Advances in learning classifier systems : 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001 : revised papers

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

Computational learning theory : Third European Conference, EuroCOLT '97, Jerusalem, Israel, March 17-19, 1997 : proceedings
по: Ben-David, Shai

Learning language in logic
по: Cussens, James, 1965-

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15 17, 1996 : proceedings
по: Miglioli, Pierangelo, 1946-

Higher order logic theorem proving and its application : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings

Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Algorithmic learning theory : 9th international conference, ALT ±98, Otzenhausen, Germany, October 8-10, 1998 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

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

Foundations of inductive logic programming
по: Nienhuys-Cheng, Shan-Hwei, 1943-, и др.

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 98 Oisterwijk, The Netherlands, May 5 8, 1998 : proceedings

Logical aspects of computational linguistics : third international conference, LACL '98, Grenoble, France, December 14-16, 1998 : selected papers

Machine translation and the information soup : third Conference of the Association for Machine Translation in the Americas AMTA 98, Langhorne, PA, USA, October 28 31, 1998 : proceedings

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

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

Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, october 11-13, 2004 : proceedings

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

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

Theory reasoning in connection calculi
по: Baumgartner, Peter, 1953-

© 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