Login / Signup
Sven Panne
Publication Activity (10 Years)
Years Active: 1997-1997
Publications (10 Years): 0
</>
Publications
</>
Tim Geisler
,
Sven Panne
,
Heribert Schütz
Satchmo - The Compiling and Functional Variants.
J. Autom. Reason.
18 (2) (1997)
Norbert Eisinger
,
Tim Geisler
,
Sven Panne
Logic Implemented Functionally.
PLILP
(1997)