ISSE

Search

Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik

W. Reif

Interaktives Theorembeweisen - Anwendungen in der Softwaretechnik.

published 1998 Künstliche Intelligenz 4/98