Skip to content
Vinony

Larry Wos

No biography available.

Works (7)

Cover of Automated Reasoning
Automated Reasoning
November 1987
Cover of Automated reasoning and its applications
Automated reasoning and its applications
Cover of The automation of reasoning
The automation of reasoning
1996
Cover of Automated reasoning
Automated reasoning
Cover of A fascinating country in the world of computing
A fascinating country in the world of computing
1999
Cover of Automated reasoning
Automated reasoning
Cover of Collected Works of Larry Wos
Collected Works of Larry Wos
2000