DAIMI PB¤Literal resolution: A simple proof of resolution completeness
0,00 kr
950
ISBN
1219526
| Forlag | Aarhus University, Computer Science Department |
|---|---|
| Indbinding | 12 |
| Product Type | 1 |
| Sideantal | 11 |
| Oplag | 0 |
| Udgave | 0 |
| Sprog | eng |
| Illustreret i farver/sh | Nej |
Bøger i samme varegruppe:
