Suchergebnisse für "E Thomas Schubert/Phillip J Windley/James Alves-Foss"

Redaktionelle Inhalte

Keine redaktionellen Inhalte für "E Thomas Schubert/Phillip J Windley/James Alves-Foss" gefunden.

Katalogsuche

Cover von Higher Order Logic Theorem Proving and Its Applications

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

E Thomas Schubert/Phillip J Windley/James Alves-Foss

Springer Verlag GmbH

53,49 €

(inklusive MwSt.)

Lieferbar

Jetzt anmelden und immer über Angebote, Neuigkeiten und Aktionen informiert bleiben.