5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.)Catégories:
Année:
1980
Edition:
1
Editeur::
Springer-Verlag Berlin Heidelberg
Langue:
english
Pages:
388
ISBN 10:
3540100091
ISBN 13:
9783540100096
Collection:
Lecture Notes in Computer Science 87
Fichier:
DJVU, 3.71 MB
IPFS:
,
english, 1980
Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit