Travelled to:1 × Australia
Collaborated with:B.I.Dahn T.Honigmann A.Wolf
Talks about:interact (1) theorem (1) integr (1) prove (1) autom (1) ilp (1)
Person: Jürgen Gehne
DBLP: Gehne:J=uuml=rgen
Contributed to:
1997Wrote 1 papers:
- CADE-1997-DahnGHW #automation #integration #interactive #proving #theorem proving
- Integration of Automated and Interactive Theorem Proving in ILP (BID, JG, TH, AW), pp. 57–60.