Larry Wos

Collected Works of Larry Wos

2000

Collected Works of Larry Wos V

Collected Works of Larry Wos Vol. 1

2000

A fascinating country in the world of computing

1999

Fascinating Country in the Wor

Fascinating Country in the World of Computing, a

1999

Automated reasoning and its applications

1997

The automation of reasoning

1996