|
trig: THEORY
%------------------------------------------------------------------------
%
% A Pragmatic Nonfoundational Theory of Trigonometry
%
% by Cesar Munoz
% Victor Carreno
% Ricky Butler
% Gilles Dowek
% Alfons Geser
% Ben Di Vito
%
% Version 1.0 3/27/01
%
%
%------------------------------------------------------------------------
BEGIN
IMPORTING trig_basic,
trig_values,
trig_ineq
END trig
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
