Search
Search Funnelback University
- Refined by:
- Date: Past fortnight
Did you mean people alumni?
1 -
10 of
603
search results for People aliens
where 18
match all words and 585
match some words.
Fully-matching results
-
Maria Manuel Lisboa The End of the WorldApocalypse and ...
https://api-thoth-arch.lib.cam.ac.uk/server/api/core/bitstreams/2a9a7fca-3bc0-4b47-b914-62107f140852/content16 May 2024: Acknowledgements. I am indebted to many people who helped, encouraged and supported me, did things for me, and said ‘there, there.’ at times when the end of the world appeared to ... Although a new community is built on the lines of a liberal -
Theory Sugar
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/Doc/Sugar/Sugar.html23 May 2024: term. 1. 0. "} end{itemize} subsection{Numbers} Coercions between numeric types are alien to mathematicians who consider, for example, <typ>‹nat› as a subset of <typ>‹int›. ... people tend to prefer aligned ‹=› signs. -
LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, ...
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2024/doc/sugar.pdf23 May 2024: 2.4 Numbers. Coercions between numeric types are alien to mathematicians who consider,for example, nat as a subset of int. ... 5 StylesThe thm antiquotation works nicely for single theorems, but sets of equationsas used in definitions are more difficult -
LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, ...
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/library/Doc/Sugar/sugar.pdf23 May 2024: 2.4 Numbers. Coercions between numeric types are alien to mathematicians who consider,for example, nat as a subset of int. ... 5 StylesThe thm antiquotation works nicely for single theorems, but sets of equationsas used in definitions are more difficult -
Feeding the City: Work and Food Culture of The Mumbai Dabbawalas
https://api-thoth-arch.lib.cam.ac.uk/server/api/core/bitstreams/a126cf74-0118-4360-bf00-e7db54ef0a3f/content16 May 2024: Nearly two hundred thousand people are waiting for their dabbawalas, who arrive promptly with the tiffins they have to deliver.2. ... Most people who came to seek employment in the city maintain a close bond with their place of origin. -
Folktales of Mayotte, an African Island
https://api-thoth-arch.lib.cam.ac.uk/server/api/core/bitstreams/aec2f0c2-654c-4ee2-b3b4-8154b4f233bc/content16 May 2024: Maybe some people laugh at it, but the legend asserts, ‘Mayotte is ours’. ... The nuptial procession was broken off and many people could not be saved. -
λ→ ∀=Is abelle β α Isar The Isabelle/Isar Implementation ...
https://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2024/doc/implementation.pdf23 May 2024: the kind of engi-neering that people without the concept of the arch did. -
A Common Good Approach to Development
https://api-thoth-arch.lib.cam.ac.uk/server/api/core/bitstreams/d1d76810-0c32-4828-b631-d07faaec0aba/content16 May 2024: we understand development as a process embedded in communities and in how people produce and distribute social goods like security, education, and mobility. ... A common good perspective on society is therefore neither totalitarian, nor conservative as -
A People Passing Rude
https://api-thoth-arch.lib.cam.ac.uk/server/api/core/bitstreams/c1a67b55-e878-468b-944e-84532404c8f4/content16 May 2024: 184. 10 Ibid., p. 181.11 Ibid., p. 209. 6 A People Passing Rude. ... Sumarokove’, XVIII vek, XIX (1995), pp. 60-9. 8 A People Passing Rude. -
dancing with philoctetes Before you start to read this ...
https://api-thoth-arch.lib.cam.ac.uk/server/api/core/bitstreams/19bb1fb1-8e4a-4d64-9205-8f3729902921/content23 May 2024: young. But now I know that people are convinced by words, not facts. ... I came to view the community’s involvement in and reaction to an individual’s tragedy as an essential theme in Sophoclean drama, and, more than that, the exploration of
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.