Automated practical reasoning : algebraic approaches


· Jochen Pfalzgraf and Dongming Wang (eds.) ; with a foreword by Jim Cunningham
Bok Engelsk 1995

Detaljer

Bibliotek som har denne