Automated theorem proving


Wolfgang Bibel
Bok Språk ikke angitt 1982

Detaljer

Bibliotek som har denne