Instantiation Theory

SPRINGER
08 / 1991
9783540543336
Inglés
Lecture Notes in Computer Science