4 treff

Automated reasoning and its applications : essays in honor of Larry Wos
edited by Robert Veroff, with Gail W. Pie...
Bok Engelsk 1997
The automation of reasoning : an experimenter's notebook with OTTER tutorial
Larry Wos
Bok Engelsk 1996
Automated reasoning : 33 basic research problems
Larry Wos
Bok Språk ikke angitt 1988
Automated reasoning : introduction and applications
Larry Wos ... [et al.]
Bok Språk ikke angitt 1984