Higher order algebra, logic, and term rewriting : First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : selected papers
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
201X.
Berlin [etc.] : |
| Col·lecció: | Lecture Notes in Computer Science
816 |
| Matèries: | |
| Accés en línia: | Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |
| LEADER | 02118nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 976397 | ||
| 008 | 110927q2010 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155220225 | ||
| 020 | |a 9783540485797 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.1015113 | ||
| 111 | 2 | |a International Workshop on Higher-Order Algebra, Logic, and Term Rewriting |n (01 |d :1993 |c :Amsterdam). | |
| 245 | 1 | 0 | |a Higher order algebra, logic, and term rewriting : |b First International Workshop, HOA'93, Amsterdam, The Netherlands, September 23 24, 1993 : selected papers |c [edited by] Jan Heering, Karl Meinke, Bernhard Möller,... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Berlin [etc.] : |b Springer, |c 201X. | ||
| 490 | 0 | |a Lecture Notes in Computer Science |v 816 |x 0302-9743 | |
| 500 | |a Autre collaborateur : Tobias Nipkow | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 506 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | ||
| 650 | |a Informatique | ||
| 650 | |a Réécriture, Systèmes de (informatique) | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Algèbre | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Heering, Jan. |4 pbd | |
| 700 | 1 | |a Meinke, Karl, |d 1961- |4 pbd | |
| 700 | 1 | |a Möller, Bernhard, |d 1953- |4 pbd | |
| 700 | 1 | |a Nipkow, Tobias, |d 1958-..., |c informaticien. |4 pbd | |
| 776 | 0 | |0 019374755 |t Higher order algebra, logic, and term rewriting |o First International Workshop, HOA '93, Amsterdam The Netherlands, September 1993 |o selected papers |f Jan Heering ... [et al.] eds |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (344 p.) |s Lecture notes in computer science |z 3-540-58233-9 | |
| 856 | 4 | |5 452349901:594808049 |u https://ezproxy.univ-orleans.fr/login?url=http://dx.doi.org/10.1007/3-540-58233-9 |z Accès Université d'Orléans | |
| 856 | 4 | |5 452349901:594808049 |u https://ezproxy.insa-cvl.fr/login?qurl=http://dx.doi.org/10.1007/3-540-58233-9 |z Accès INSA CVL | |
| 997 | |0 976397 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||