Description: Higher order algebra, logic, and term rewriting :

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	International Workshop on Higher-Order Algebra, Logic, and Term Rewriting :Amsterdam
Autres auteurs:	Heering, Jan (Directeur de la publication), Meinke, Karl, 1961- (Directeur de la publication), Möller, Bernhard, 1953- (Directeur de la publication), Nipkow, Tobias, 1958-..., informaticien (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer 201X. Berlin [etc.] :
Collection:	Lecture Notes in Computer Science 816
Sujets:	Informatique Réécriture, Systèmes de (informatique) Logique symbolique et mathématique Algèbre Actes de congrès
Accès en ligne:	Accès Université d'Orléans Accès INSA CVL
Note:	Autre collaborateur : Tobias Nipkow Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Higher order algebra, logic, and term rewriting, First International Workshop, HOA '93, Amsterdam The Netherlands, September 1993, selected papers, Jan Heering ... [et al.] eds, Berlin, Springer-Verlag, 1994, 1 vol. (344 p.), Lecture notes in computer science, 3-540-58233-9

Description
Description:	Autre collaborateur : Tobias Nipkow Archives Springer e-books (Licence nationale)
ISBN:	9783540485797 (PDF)
ISSN:	0302-9743
Accès:	L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition