Proof technology and computation
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
Format: | Electronic Conference Proceeding eBook |
Language: | English |
Published: |
Amsterdam ; Washington, DC :
IOS Press,
c2006.
|
Series: | NATO science series. Computer and systems sciences ;
v. 200. |
Subjects: | |
Online Access: | An electronic book accessible through the World Wide Web; click to view |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Search Result 1
Proof technology and computation
Published 2006
An electronic book accessible through the World Wide Web; click to view
Electronic
Conference Proceeding
eBook