Reasoning and rewriting with set-relations. I. Ground completeness


Valentinas Kriaučiukas
Bok Engelsk 1994

Detaljer

Bibliotek som har denne