Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Automatische Deduktion -- Von Kalkülen zu Anwendungen

2002

Erscheinungsjahr: 2002

Publikationstyp: Buch

Autoren

Baumgartner, P. (Autor)

Klassifikation

DDC Sachgruppe:
Allgemeines, Wissenschaft