Rajaa
Hakutulokset: 082185027X
Rajaa
yksi hakutulos.
Automated Theorem Proving
pokkari,
1984,
englanti,
ISBN 9780821850275