Proof technology and computation
| מחבר תאגידי: | |
|---|---|
| מחברים אחרים: | , |
| פורמט: | ספר |
| שפה: | English |
| יצא לאור: |
Amsterdam
IOS Press
c2006.
|
| סדרה: | NATO science series,Series III,Computer and systems sciences
v.200. |
| נושאים: |