Automated ReasoningDavid Basin
Automated Reasoning
David Basin, Michael Rusinowitch · 2004
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2004
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783540259848
Data source: Wikidata
More by David Basin
Principles of Security and TrustDavid Basin
Principles of Security and Trust
David Basin · 2013
Labelled DeductionDavid Basin
Labelled Deduction
David Basin · 2000
Applied Information SecurityDavid Basin
Applied Information Security
David Basin · 2011
Labelled deductionDavid Basin
Labelled deduction
David Basin · 2000
Proceedings of the Second ACM Conference on Wireless Network SecurityDavid Basin
Proceedings of the Second ACM Conference on Wireless Network Security
David Basin · 2009
Theorem Proving in Higher Order LogicsDavid Basin
Theorem Proving in Higher Order Logics
David Basin · 2003