Proof technology and computation /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam ; Washington, DC :
IOS Press,
©2006.
|
| Series: | NATO science series. Series III, Computer and systems sciences,
v. 200 |
| Subjects: | |
| Online Access: | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=165586 |