Tapsoft '87. Vol. 2 :
proceedings of the international joint conference on theory and practice and software development#March 23-27
Ehrig, Hartmut (Editeur) ; Kowalski, Robert (Editeur) ; Levi, Giorgio (Editeur) ; Montanari, Ugo (Editeur)
1987
336 p.
978-3-540-17611-4
00013968
algorithme # logique # preuve de programme # programmation fonctionnelle # programmation logique # prolog
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540176114
ISBN : 3-540-17611-X
Collation : xiv#fig.#24 cm#broch. ; Bibliogr. ; Index
Collection : Lecture notes in computer science
N° de collection : 0250
Localisation : Collection 1er étage
Année de la rencontre : 1987
Ville du congrès : Pise
Pays du congrès : Italie
Code ACM : D.3.1 ; D.3.4 ; F.3.1 ; F.3.3 ; F.4.1
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00013968 | [disponible] |