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 |