Proof and computation text /
| Άλλοι συγγραφείς: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin :
Springer,
c1995
|
| Σειρά: | NATO ASI series. Series F, Computer and systems sciences ;
; vol. 139 |
| Θέματα: |