Automated reasoning and its applications : essays in honor of Larry Wos


edited by Robert Veroff, with Gail W. Pieper
Bok Engelsk 1997

Detaljer

Bibliotek som har denne