Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966
Jӧrg Siekmann and Graham Wrightson (eds.)Catégories:
Volume:
1
Année:
1983
Edition:
1
Editeur::
Springer-Verlag
Langue:
english
ISBN 10:
3540120432
ISBN 13:
9783540120438
Collection:
Artificial Intelligence
Fichier:
DJVU, 6.96 MB
IPFS:
,
english, 1983