Automated reasoning and its applicationsLarry Wos

Automated reasoning and its applications

Larry Wos, Robert Veroff, Gail W. Pieper · 1997

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 1997
Language: English
Publisher: MIT Press
Editions: 1
Pages: 257
ISBN: 9780262303538

Data source: Wikidata

More by Larry Wos

Collected Works of Larry WosLarry Wos

Collected Works of Larry Wos

Larry Wos · 2000

A fascinating country in the world of computingLarry Wos

A fascinating country in the world of computing

Larry Wos · 1999

Automated ReasoningLarry Wos

Automated Reasoning

Larry Wos · 1987

Collected Works of Larry Wos Vol. 1Larry Wos

Collected Works of Larry Wos Vol. 1

Larry Wos · 2000