Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/reals/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 57 B image not shown  

Quelle  pvs-attachments   Sprache: unbekannt

 
(defattach |sqrt.sqrt| (x)  "Square root of X" (sqrt x))

[ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ]