Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
APPLICATIONS/ | 2024-04-24 12:42 | - | ||
CAV-AR-Logo.png | 2021-12-27 11:34 | 61K | ||
SamplePrograms/ | 2021-12-27 12:09 | - | ||
bb.slog | 2023-02-09 18:31 | 1.2K | ||
bsetlog.pdf | 2023-02-13 15:37 | 321K | ||
calculus.pdf | 2022-04-22 09:03 | 429K | ||
experiments.pdf | 2021-12-27 11:53 | 232K | ||
experimentsCAV.tar.gz | 2021-12-27 11:54 | 53K | ||
experimentsCP.zip | 2021-12-27 11:54 | 813K | ||
experimentsJAR.zip | 2021-12-27 11:54 | 848K | ||
imageFAU.JPG | 2021-12-27 11:34 | 11K | ||
papers.html | 2021-12-29 10:26 | 2.6K | ||
pts.pdf | 2022-05-03 17:42 | 228K | ||
setlog-intervals.zip | 2021-12-27 11:54 | 90K | ||
setlog-man.pdf | 2024-05-13 16:23 | 469K | ||
setlog498-11g.zip | 2022-05-11 15:30 | 86K | ||
setlog498-12e.zip | 2023-03-02 10:04 | 94K | ||
setlog498-12f.zip | 2023-04-08 12:37 | 95K | ||
setlog498-13b.zip | 2023-05-25 12:44 | 104K | ||
setlog498-13j.zip | 2023-10-24 15:38 | 105K | ||
setlog498-14c.zip | 2023-12-13 11:33 | 110K | ||
setlog498-14h.zip | 2024-02-23 17:57 | 118K | ||
setlog498-14i.zip | 2024-03-10 22:33 | 118K | ||
setlog498-15e.zip | 2024-05-17 09:15 | 119K | ||
setlog_4.9.8.zip | 2021-12-29 10:20 | 84K | ||
setloglib.slog | 2023-02-09 18:58 | 8.6K | ||
setloglibTPTP.slog | 2021-12-27 11:38 | 6.5K | ||
setloglib_tc.slog | 2023-02-09 19:01 | 9.6K | ||
setlogliblist.slog | 2021-12-27 11:38 | 3.4K | ||
setloglibpf.slog | 2023-02-09 19:00 | 6.6K | ||
size.zip | 2021-12-27 11:54 | 181K | ||
zsetlog.pdf | 2021-12-27 11:55 | 222K | ||