Andrew Ireland – författare
Visar alla böcker från författaren Andrew Ireland. Handla med fri frakt och snabb leverans.
2 produkter
Rippling: Meta-Level Guidance for Mathematical Reasoning
Av Alan Bundy, David Basin m. fl.
Inbunden, 2005
1905 kr
Lägg i varukorg
Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally developed for inductive proofs, where the goal was the induction conclusion and the givens …
Illuminating Torchwood
Essays on Narrative, Character and Sexuality in the BBC Series
Häftad, 2010
396 kr
Lägg i varukorg
Created in 2006 as a spinoff of Doctor Who, the internationally popular BBC television series Torchwood is a unique blend of science fiction and fantasy, with much more of an adult flavor than its progenitor. The series' "omnisexual" protagonist, maverick 51st-century time agent Captain Jack …
