Bitte haben Sie einen Moment Geduld, wir legen Ihr Produkt in den Warenkorb.
| Reihe | Lecture Notes in Mathematics |
|---|---|
| Themen | Mathematik und Naturwissenschaften Mathematik Mathematische Grundlagen Logik |
| ISBN | 9783540049098 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.01.1970 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Herausgegeben von | Gert H. Müller |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Decidability and completeness of SC.- Benefits of the decision procedure.
| Reihe | Lecture Notes in Mathematics |
|---|---|
| Themen | Mathematik und Naturwissenschaften Mathematik Mathematische Grundlagen Logik |
| ISBN | 9783540049098 |
| Sprache | Englisch |
| Erscheinungsdatum | 01.01.1970 |
| Größe | 235 x 155 mm |
| Verlag | Springer |
| Herausgegeben von | Gert H. Müller |
| Lieferzeit | Lieferung in 7-14 Werktagen |
| Herstellerangaben | Anzeigen Europaplatz 3 | DE-69115 Heidelberg ProductSafety@springernature.com |
Wie gefällt Ihnen unser Shop?
