5th Conference on Automated Deduction
60,80 €*
Sofort verfügbar, Lieferzeit: 1-3 Tage
Produktnummer:
9783540100096
| EAN: | 9783540100096 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 388 |
| Produktart: | kartoniert, broschiert |
| Verlag: | Springer Springer, Berlin Springer Berlin Heidelberg |
| Untertitel: | Les Arcs, France, July 8-11, 1980 |
| Schlagworte: | Deduktionssystem Formale Sprachen Mathematische Logik Fifth |
| Größe: | 23 × 156 × 234 |
| Gewicht: | 624 g |
