Veroff, Robert

Automated reasoning and its applications: Essays in honor of Larry Wos - Cambridge: The MIT Press, 1997 - vi, 153 p.; ill.:

0262220555 (pbk)

511.3 / VER

Powered by Koha