A fast algorithm for renaming a set of clauses as a horn set
Finna-arvio
A fast algorithm for renaming a set of clauses as a horn set
Tallennettuna:
| Ulkoasu |
[1], 8 lehteä ; 30 cm |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Julkaisija |
Hki :
University of Helsinki,
1984.
|
| Sarja | Report / University of Helsinki. Department of Computer Science. C, 1984, 70 |
| Luokitus | |
| Lisätiedot | Heikki Mannila & Kurt Mehlhorn |
| ISBN |
951-45-3518-9 nidottu |
| Hae kokoteksti | |