Researchers
Janičić, Predrag
Type
Date issued
Results 61-61 of 61
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 1999 | A framework for the flexible integration of a class of decision procedures into theorem provers | Janičić, Predrag   ; Bundy, A.; Green, I. | Article | 21M21 |