Search
Search Funnelback University
- Refined by:
- Date: Past week
51 -
60 of
245
search results for katalk:za31 24 / / / / /
where 0
match all words and 245
match some words.
Results that match 1 of 2 words
-
appendix b
https://www.finance.admin.cam.ac.uk/sites/www.finance.admin.cam.ac.uk/files/appb.pdf21 May 2024: Choose the period JUL-24 Enter a suitable description e.g. Defer AR Invoice 123456 for course starting 5-Aug-2024. ... If the journal category Adjustment is used, then you must remember to manually reverse it in the AUG-24 period, using the More Actions -
Analysis May 23, 2024 Contents 1 Linear Algebra 231.1 ...
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL-Analysis/manual.pdf23 May 2024: 1939.24.2 Exposed faces. 1949.24.3 Extreme points of a set: its singleton faces. ... begin. 23. 24. 1.2.2 Class instancesinstantiation real :: real_innerbegin. instantiation complex :: real_innerbegin. -
File ‹Tools/Sledgehammer/sledgehammer_util.ML›
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL/ISABELLE_HOME/src/HOL/Tools/Sledgehammer/sledgehammer_util.ML.html23 May 2024: stopper (Parse.thms1 >> get) |> Source.exhaust end val one_day = seconds (24.0 60.0 60.0) val one_year = seconds (365.0 24.0 60.0 60.0) fun -
https://www.cl.cam.ac.uk/weather/data/daily-text/2024_05_26
https://www.cl.cam.ac.uk/weather/data/daily-text/2024_05_2626 May 2024: 19 00:00 0 04:30 10.0 86 7.8 1000 0.0 N 0.00 1.24 00:00 0 05:00 10.0 86 7.8 1000 -
File ‹Tools/Nitpick/nitpick_tests.ML›
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL/ISABELLE_HOME/src/HOL/Tools/Nitpick/nitpick_tests.ML.html23 May 2024: v1", dummy_T, Atom (16, 0)) val atom24_v1 = FreeName ("atom24_v1", dummy_T, Atom (24, 0)) val atom36_v1 = FreeName ("atom36_v1", dummy_T, Atom (36, 0)) val ... 0)]) atom6_v1), atom6_v1)), ("rep_conversion_atom_struct_atom_2", Op2 (Eq, bool_T, Formula Neut -
File ‹~~/src/Tools/Argo/argo_heap.ML›
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL/ISABELLE_HOME/src/Tools/Argo/argo_heap.ML.html23 May 2024: Argo_Heap: ARGO_HEAP = struct ( heuristic activity constants ) val min_incr = 128 fun decay_incr i = (i 11) div 10 val max_activity = Integer.pow 24 2 val activity_rescale = -
Universities and investors launch founder-friendly blueprint for…
https://www.enterprise.cam.ac.uk/news/universities-and-investors-launch-founder-friendly-blueprint-for-boosting-uk-software-spin-outs/
21 May 2024:
Universities and investors launch founder-friendly blueprint for boosting UK software spin-outs with the USIT Software Guide. Read more
-
File ‹Tools/semiring_normalizer.ML›
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL/ISABELLE_HOME/src/HOL/Tools/semiring_normalizer.ML.html23 May 2024: pthm_15, pthm_16, pthm_17, pthm_18, pthm_19, pthm_21, pthm_22, pthm_23, pthm_24, pthm_25, pthm_26, pthm_27, pthm_28, pthm_29, pthm_30, ... pthm_24 else inst_thm [(ca,l),(cc,c),(cd,d)] pthm_25 val (tm1,tm2) = Thm.dest_comb(concl th1) in dezero_rule -
Marie Sklodowska-Curie Actions Postdoctoral Fellowships 2024 call |…
https://www.research-operations.admin.cam.ac.uk/about-us/bulletin/item/marie-sklodowska-curie-actions-postdoctoral-fellowships-2024-call24 May 2024: Published on Fri, 24/05/2024 - 08:47. In issue:. -
File ‹rmd/s_l.siv›
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/HOL/HOL-SPARK-Examples/ISABELLE_HOME/src/HOL/SPARK/Examples/RIPEMD-160/rmd/s_l.siv.html23 May 2024: 7, [23] := 15, [24] := 7, [25] := 12, [26] := 15, [27] := 9, [28] := 11, [29] := 7, [30] := 13, [31] := 12, [32] := 11, [33] := 13, [34] := 6, [35] := 7, [36] := 14, [37] := 9, ... 13] := 7, [14] := 9, [15] := 8, [16] := 7, [17] := 6, [18] := 8, [19] :=
21 May 2024:
Universities and investors launch founder-friendly blueprint for boosting UK software spin-outs with the USIT Software Guide. Read more
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.