Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εναλλακτικές αναζητήσεις:
programming mathematical » programming mathematics, processing mathematical, planning mathematical
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
arrays via » arrays a
1
Εξώφυλλο
Έκδοση 2005
Πίνακας περιεχομένων: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Εξώφυλλο
Έκδοση 2015
Πίνακας περιεχομένων: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email — Αποθήκευση αναζήτησης