Larry Wos
4 published titles
Automated reasoning : introduction and applications
(Contributor)
2 editions
- ISBN: 0130544531
- Prentice-Hall
- 1984
- Details
- ISBN: 007911251X
- McGraw-Hill
- 1992
- Details
Automated reasoning : 33 basic research problems
1 edition
- ISBN: 013054552X
- Prentice Hall
- 1988
- Details
The automation of reasoning : an experimenter's notebook with OTTER tutorial
1 edition
- ISBN: 0127634207
- Academic
- 1996
- Details
Automated reasoning and its applications : essays in honor of Larry Wos
(Contributor)
1 edition
- ISBN: 0262220555
- MIT Press
- 1997
- Details
