NCL - PDFSEARCH.IO - Document Search Engine

NCL
Results: 1910

#	Item
301	03. Ch. 1 Ellis, Introduction Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2015-12-22 13:22:02 1st millennium BC Ancient Greece Philosophy Ancient Greek philosophers Herodotus Seven Sages of Greece Plutarch Plato Demiurge Xenophon Neoplatonism Histories
302	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
303	BARN is an international collaboration set up to coordinate our studies of animal models of Batten disease We share resources, experiments and grants, exchange students, visit each other and plan Add to Reading List Source URL: www.ncl-stiftung.de Language: English - Date: 2013-08-27 09:58:05 Health Clinical medicine Medicine Lipid storage disorders Rare diseases Batten disease Batten Sheep Model organism National Church Life Survey
304	CONTROLLING THE DEFAULT AVAILABILITY OF RECORDINGS The default availability of ReCap recordings is decided at a school level. Availability means whether or not a viewer (or in the vast majority of cases, students) can vi Add to Reading List Source URL: teaching.ncl.ac.uk Language: English - Date: 2015-10-27 11:33:49
305	Hau, Tyche in Polybius Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2011-08-05 12:15:55 Polybius Tragedy Literature 1st millennium BC Theatre
306	Microsoft Word - 2016RRxxBattistonionMacSweeney Add to Reading List Source URL: research.ncl.ac.uk Language: Italian - Date: 2016-01-30 08:24:53
307	2015RR15LambrechtonBurgess Add to Reading List Source URL: research.ncl.ac.uk Language: German - Date: 2015-06-23 04:40:38
308	08. Champion on O'Donnell _133-139_ Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2011-06-29 08:29:16 Ancient Greek philosophers Philosophy 1st millennium BC Cyberspace Virtual reality William Gibson Time Socrates Plato Cassiodorus
309	Microsoft Word - 2016RRxxWalteronLushkov Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2016-02-04 09:37:16 Livy Latin literature Humanities Roman historiography Ab Urbe Condita Libri Bacchanalia Annalists Ancient Rome Battle of the Caudine Forks Historiography Historian
310	Smith, Casting of Julian Add to Reading List Source URL: research.ncl.ac.uk Language: English - Date: 2011-06-27 14:54:47 Prosopography of Ancient Rome Constantinian dynasty Flavii Iulii Julian Neoplatonists Philhellenes Victor Constantius II Severus Alexander Indica Alexander

UPDATE