Theory is forever : :: SCD d'Orléans

Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday

Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday

Gardado en:

Detalles Bibliográficos
Autor Principal:	Karhumäki, Juhani, 1949-
Outros autores:	Maurer, Hermann A., 1941- (Directeur de la publication), Păun, Gheorghe, 1950- (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in computer science 3113
Sujets:	Salomaa, Arto, > 1934-2025 Informatique Automates mathématiques, Théorie des Analyse numérique Logique symbolique et mathématique Informatique > Mathématiques Mélanges et hommages
Acceso en liña:	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
Variante du titre:	Mélanges :, Salomaa
Edition sous un autre format:	• Theory is forever, essays dedicated to Arto Salomaa on the occasion of his 70th birthday, Juhani Karhumäki, Hermann Maurer, Gheorghe Paun ... [et al.], Berlin, Springer, 2004, 1 vol. (X-281 p.), Lecture notes in computer science, 3-540-22393-2 • Theory Is Forever, Texte imprimé, 9783662168103

Títulos similares

Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings

Topics in discrete mathematics : dedicated to Jarik Nešetril on the occasion of his 60th birthday
por: Klazar, Martin

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
por: Kakas, Antonis C.

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
por: Kakas, Antonis C.

Formal and natural computing : essays dedicated to Grzegorz Rozenberg
por: Brauer, Wilfried, 1937-2014

Logic versus approximation : essays dedicated to Michael M. Richter on the occasion of his 65th birthday
por: Lenski, Wolfgang, 1952-

Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday

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

Essays on the complexity of continuous problems
Publicado: (2009)

Numerical methods for differential equations, optimization, and technological problems : dedicated to Professor P. Neittaanmäki on his 60th birthday
por: Repin, Sergey, 19..-

Introduction to the theory of computation
por: Sipser, Michael
Publicado: (2006)

In Memoriam Paul-André Meyer : séminaire de probabilités XXXIX
por: Emery, Michel, 1949-...., mathématicien

Nonlinear analysis : stability, approximation and inequalities : In honor of Themistocles M. Rassias on the occasion of his 60th birthday
por: Pardalos, Panos M., 1954-

From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
por: Owe, Olaf, 19..-

Using sophisticated models in resolution theorem proving
por: Sandford, David M., 19..-

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

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

Theory reasoning in connection calculi
por: Baumgartner, Peter, 1953-

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

The computer modelling of mathematical reasoning
por: Bundy, Alan R., 1947-
Publicado: (1983)

Learning theory : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004 : proceedings

STACS 93 : 10th Annual Symposium on Theoretical Ascpects of Computer Science Würzburg, Germany, February 25 27, 1993 : proceedings

Symposium on automatic demonstration : held at Versailles-France, December 1968

Noncommutative harmonic analysis : in honor of Jacques Carmona
por: Delorme, Patrick

Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980

Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday
por: Dershowitz, Nachum, 1951-

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

Learning theory and Kernel machines : 16th annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003 : proceedings

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

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

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

Computational learning theory : second European Conference, EuroCOLT '95, Barcelona, Spain, March 13-15, 1995 : proceedings

Algorithmic learning theory : 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings
por: Arikawa, Setsuo, 1941-

Algorithmic learning theory : 15th international conference, ALT 2004, Padova, Italy, October 2-5, 2004 : proceedings

Algorithmic learning theory : 8th International Workshop, ALT '97 Sendai, Japan, October 6-8, 1997 : proceedings
por: Li, Ming, 1955-...., informaticien

Algorithmic learning theory : 11th International Conference, ALT 2000, Sydney, Australia, December 11 13, 2000 : proceedings

Algorithmic learning theory : 13th international conference, ALT 2002, Lübeck, Germany, November 24-26, 2002 : proceedings

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

Algorithmic learning theory : 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedings

Algorithmic learning theory : 10th International Conference, ALT 99, Tokyo, Japan, December 6-8, 1999 : proceedings
por: Watanabe, Osamu

© 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