Apprendre à traduire à partir d'exemples de traductions humaines.
Réalisées par des traducteurs professionnels, des entreprises, des pages web ou traductions disponibles gratuitement.
further tests of general relativity include precision measurements of the shapiro effect or gravitational time delay for light, most recently in 2002 by the cassini space probe.
Περαιτέρω δοκιμές της γενικής σχετικότητας περιλαμβάνουν μετρήσεις ακριβείας του φαινομένου shapiro ή αλλιώς "τη βαρυτική χρονική καθυστέρηση" του φωτός, και πιο πρόσφατα το 2002 από το διαστημικό σκάφος cassini.
this function returns an array with the first row giving the p-value of the shapiro-francia test, the second row the test statistic of the test, and the third the number of observations in the sample.
Η συνάρτηση αυτή επιστρέφει έναν πίνακα στοιχείων με την πρώτη γραμμή να περιέχει την τιμή p του ελέγχου shapiro-francia, τη δεύτερα γραμμή το στατιστικός έλεγχο και, την τρίτη τον αριθμό παρατηρήσεων του δείγματος.
"an introduction to mathematical logic and type theory: to truth through proof", 2nd ed, kluwer academic publishers, isbn 1-4020-0763-9*stewart shapiro, 1991, "foundations without foundationalism: a case for second-order logic".
"an introduction to mathematical logic and type theory: to truth through proof", 2nd ed, kluwer academic publishers, isbn 1402007639*stewart shapiro, 1991, "foundations without foundationalism: a case for second-order logic".