Higher Order Logic Theorem Proving and Its Applications
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science, 971, Band 971)
53.49 EUR
Preis aktualisiert am: 20-05-2026 02:45:26
53.49 EUR
Preis aktualisiert am: 20-05-2026 02:45:26 
SpringerLink DE
Gesponsert Higher Order Logic Theorem Proving and Its Applications
53.49 EUR
Preis aktualisiert am: 19-05-2026 21:27:18
53.49 EUR
Preis aktualisiert am: 19-05-2026 21:27:18 | Bezeichner | |
|---|---|
| ISBN | Springer Berlin Heidelberg 3540602755 |
| MPN | Springer Berlin Heidelberg 6943810 |
| Abmessungen / Gewicht | |
| Hauptmerkmale | |
Springer Berlin Heidelberg ist eine Marke von Springer Science+Business Media, einem weltweit führenden Verlag für Wissenschaft und Medien. Das Unternehmen hat seinen Hauptsitz in Berlin und betreibt Niederlassungen in Heidelberg, London, Madrid, New York, Paris und Wien. Springer Berlin Heidelberg publiziert mehr als 2.000 Zeitschriften und über 10.000 neue Bücher pro Jahr. Das Verlagsprogramm umfasst sowohl wissenschaftliche als auch populärwissenschaftliche Titel.
