`Travelled to:`

1 × Australia

`Collaborated with:`

B.I.Dahn J.Gehne A.Wolf

`Talks about:`

interact (1) theorem (1) integr (1) prove (1) autom (1) ilp (1)

## Person: Th. Honigmann

### DBLP: Honigmann:Th=

### Contributed to:

### Wrote 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.