Γραμμική λογική, δίκτυα αποδείξεων και επέκταση στο υπολογιστικό μοντέλο των δικτύων αλληλεπιδράσεων = Linear logic, proof-nets and extension to the computational model of interaction nets /

Κύριος συγγραφέας: Βασίλα, Μαγδαληνή Γ.
Συγγραφή απο Οργανισμό/Αρχή: Εθνικό Μετσόβιο Πολυτεχνείο (Ελλάδα). Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών
Άλλοι συγγραφείς: Κολέτσος, Γεώργιος
Μορφή: Βιβλίο
Γλώσσα:Greek