Μετάβαση στο περιεχόμενο
Toggle navigation
Γλώσσα
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
Όλα τα πεδία
Τίτλος
Συγγραφέας
Θέμα
Ταξιθετικός Αριθμός
ISBN/ISSN
Ετικέτα
Αναζήτηση
Σύνθετη
Γραμμική λογική, δίκτυα αποδεί...
Τεκμήρια
Εμφάνιση παραπομπής
Αποστολή με SMS
Αποστολή με email
Αποθήκευση
Αποθήκευση σε RefWorks
Αποθήκευση σε EndNoteWeb
Αποθήκευση σε EndNote
Γραμμική λογική, δίκτυα αποδείξεων και επέκταση στο υπολογιστικό μοντέλο των δικτύων αλληλεπιδράσεων = Linear logic, proof-nets and extension to the computational model of interaction nets /
Κύριος συγγραφέας:
Βασίλα, Μαγδαληνή Γ.
Συγγραφή απο Οργανισμό/Αρχή:
Εθνικό Μετσόβιο Πολυτεχνείο (Ελλάδα). Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών
Άλλοι συγγραφείς:
Κολέτσος, Γεώργιος
Μορφή:
Βιβλίο
Γλώσσα:
Greek
Τεκμήρια
Περιγραφή
Παρόμοια τεκμήρια
Λεπτομερής προβολή
Παρόμοια τεκμήρια
Μελέτη αλληλεπιδράσεων ενέργειας και οικονομίας με μαθηματικό μοντέλο γενικής ισορροπίας /
ανά: Γεωργακόπουλος, Παναγιώτης
Μονοδιάστατο Υπολογιστικό Μοντέλο Ροής Αίματος ενός Πλήρους Καρδιαγγειακού Συστήματος
ανά: Ρόβας, Γεώργιος, κ.ά.
Έκδοση: (2017)
Υπολογιστικό μοντέλο διάδωσης ήχου σε μονωμένο΄σωλήνα και πειραματική επαλήθευση
ανά: Μπαμπάνης, Γεώργιος Α., κ.ά.
Έκδοση: (2015)
Απεικονίσεις νευρωνικών δικτύων σε συμβολική λογική /
ανά: Βογιατζής, Δ
Κωδικοποίηση πιθανοτικώς ελέγξιμων αποδείξεων /
ανά: Γαλάνης, Ανδρέας Γ
×
Φορτώνει......