Multimedia Databases and Image Communication: Second International Workshop, MDIC 2001, Amalfi, Italy, September 17-18, 2001. Proceedings (Lecture Notes in Computer Science, 2184, Band 2184)
Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Gesponsert Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science, 1275, Band 1275)
53.49 EUR
Preis aktualisiert am: 24-04-2026 18:56:57
53.49 EUR
Preis aktualisiert am: 24-04-2026 18:56:57 
SpringerLink DE
Gesponsert Theorem Proving in Higher Order Logics
53.49 EUR
Preis aktualisiert am: 24-04-2026 08:30:55
53.49 EUR
Preis aktualisiert am: 24-04-2026 08:30:55 | Bezeichner | |
|---|---|
| ISBN | Springer Berlin Heidelberg 3540633790 |
| MPN | Springer Berlin Heidelberg 7129548 |
| 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.
