Abstract state machines 2004 : ; proceedings :: SCD d'Orléans

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

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

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	Abstract state machines workshop :Lutherstadt Wittenberg, DE
Outros autores:	Zimmermann, Wolf (Directeur de la publication), Thalheim, Bernhard, 1952- (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Series:	Lecture notes in computer science 3052
Sujets:	Génie logiciel Informatique Langages de programmation Automates mathématiques, Théorie des Logique symbolique et mathématique Actes de congrès
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
Edition sous un autre format:	• Abstract state machines 2004, advances in theory and practice, 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004, Wolf Zimmermann, Bernhard Thalheim (eds.), Berlin, Springer, 2004, 1 vol. (XII-233 p.), Lecture notes in computer science, 3-540-22094-1 • Abstract State Machines 2004. Advances in Theory and Practice, Texte imprimé, 9783662189214

Títulos similares

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

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

Machine learning : ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004 : proceedings
por: Boulicaut, Jean-François, 1960-

Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

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

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

Static analysis : ; proceedings 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004

Machine translation : from real users to research : 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004 : proceedings

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

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

Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29 July 1, 1992 : proceedings

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

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

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

Machines, computations, and universality : third international conference, MCU 2001, Chişinžu, Moldova, May 23-27 2001 : proceedings

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

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

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : 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 : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

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

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

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

ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15 18, 1990 : proceedings

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

Machine learning : ECML 2001 : 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001 : proceedings

Computational learning theory : 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8 10, 2002 : proceedings

Isabelle : a generic theorem prover
por: Paulson, Lawrence C., 1955-...., informaticien

Machine learning : ECML 2002 : 13th European Conference on Machine Learning Helsinki, Finland, August 19 23, 2002 : proceedings

Machine learning : ECML 2003 : 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003 : proceedings

Logic and machines : decision problems and complexity : proceedings of the symposium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut für Matematische Logik und Grundlagenforshung der Universität Münster, Westfalen

Algèbre de Boole et machines logiques
Publicado: (1967)

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

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

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

7th international conference on automated deduction : Napa, California, USA May 14 16, 1984 : proceedings

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

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

Foundations of software science and computation structures : 7th international conference, FOSSACS 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

© 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