Theorem proving in classical logic applied within a logic for system specification


Marit Holden
Bok Engelsk 1986

Detaljer

Bibliotek som har denne