Original language | Undefined/Unknown |
---|---|
Pages | 126-136 |
Publication status | Published - 1989 |
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning
Research output: Contribution to conference › Paper › peer-review
Research output: Contribution to conference › Paper › peer-review
Original language | Undefined/Unknown |
---|---|
Pages | 126-136 |
Publication status | Published - 1989 |