The HOL pred_sets Library
| Glavni avtor: | |
|---|---|
| Format: | Record |
| Izdano: |
Computer Laboratory‚ University of Cambridge
1992
|
| Glavni avtor: | |
|---|---|
| Format: | Record |
| Izdano: |
Computer Laboratory‚ University of Cambridge
1992
|