L

Larry Wos

11 books found

Books by Larry Wos
Automated ReasoningLarry Wos
⏱ 5h 19m

Automated Reasoning

Larry Wos

1987319 pp.
Collected Works of Larry WosLarry Wos
⏱ 27h 0m

Collected Works of Larry Wos

Larry Wos

20001620 pp.
The automation of reasoningLarry Wos
⏱ 7h 23m

The automation of reasoning

Larry Wos

1996443 pp.
Automated reasoningLarry Wos
⏱ 10h 56m

Automated reasoning

Larry Wos

1992656 pp.
Automated reasoningLarry Wos
⏱ 8h 2m

Automated reasoning

Larry Wos

1984482 pp.
A fascinating country in the world of computingLarry Wos
⏱ 9h 47m

A fascinating country in the world of computing

Larry Wos

1999587 pp.
Fascinating Country in the World of ComputingLarry Wos Staff

Fascinating Country in the World of Computing

Larry Wos Staff

1999No page data
Automated reasoning and its applicationsLarry Wos
⏱ 4h 12m

Automated reasoning and its applications

Larry Wos

1997252 pp.
Fascinating Country in the World of Computing, aGail W. Pieper

Fascinating Country in the World of Computing, a

Gail W. Pieper

1999No page data
Collected Works of Larry Wos Vol. 1Larry Wos

Collected Works of Larry Wos Vol. 1

Larry Wos

2000No page data
Automated Reasoning and the Discovery of Missing and Elegant ProofsLarry Wos
⏱ 6h 24m

Automated Reasoning and the Discovery of Missing and Elegant Proofs

Larry Wos

2003384 pp.