Labelled deductionDavid Basin
Labelled deduction
David Basin, Various · 2000
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
- 2000
- Language
- English
- Publisher
- Island Press
- Editions
- 1
- ISBN
- 9789401140416
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
Proceedings of the Second ACM Conference on Wireless Network SecurityDavid Basin
Proceedings of the Second ACM Conference on Wireless Network Security
David Basin · 2009
Automated ReasoningDavid Basin
Automated Reasoning
David Basin · 2004
Theorem Proving in Higher Order LogicsDavid Basin
Theorem Proving in Higher Order Logics
David Basin · 2003