Your browser does not support JavaScript!

Αρχική    Αποφασισιμότητα στην διαφορική άλγεβρα  

Αποτελέσματα - Λεπτομέρειες

Προσθήκη στο καλάθι
[Προσθήκη στο καλάθι]
Κωδικός Πόρου 000400144
Τίτλος Αποφασισιμότητα στην διαφορική άλγεβρα
Άλλος τίτλος Decidability in differential algebra
Συγγραφέας Μανιού, Μαριάνθη
Σύμβουλος διατριβής Φειδάς, Αθανάσιος
Μέλος κριτικής επιτροπής Τερτίκας, Αχιλλέας
Vidaux, Xavier
Φυσική περιγραφή 47 σ. ; : ; 30 εκ.
Γλώσσα Ελληνικά
Θέμα (Positive) existential theory
(Θετική) υπαρξιακή θεωρία
Grothendieck's problem
Hilbert's tenth problem
Quantifier elimination
Απαλοιφή ποσοδεικτών
Ημερομηνία έκδοσης 2016-03-18
Συλλογή   Σχολή/Τμήμα--Σχολή Θετικών και Τεχνολογικών Επιστημών--Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών--Μεταπτυχιακές εργασίες ειδίκευσης
  Τύπος Εργασίας--Μεταπτυχιακές εργασίες ειδίκευσης
Εμφανίσεις 166

Ψηφιακά τεκμήρια
No preview available

Προβολή Εγγράφου
Εμφανίσεις : 28