Πολυπλοκότητα αποδείξεων προτασιακού λογισμού= propositional proof complexity/

Main Author: Σουλδάτος, Γιάννης
Format: Book
Language:Greek
Published: Αθήνα: [χ.ό.], 2002
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο ΑθηνώνΜΔ 511.3 ΣουΓ π 20021ΠροβολήOPAC