Travelled to:
1 × Germany
Collaborated with:
B.Kuipers
Talks about:
continu (1) system (1) reason (1) logic (1) about (1)
Person: Benjamin Shults
DBLP: Shults:Benjamin
Contributed to:
Wrote 1 papers:
- KR-1994-KuipersS #logic #reasoning
- Reasoning in Logic about Continuous Systems (BK, BS), pp. 391–402.