On a Resolutiion Theorem for Maximal Models C.T.I Technical Report TR 98.2.4
Τύπος υλικού: ΚείμενοΓλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Patras Greece Computer Technology Institute February 1998Θέμα(τα):Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός αντιτύπου | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|---|
Μηχανικών Η/Υ και Πληροφορικής | 1 | Διαθέσιμο |