<--- Back to Details
First PageDocument Content
Early Christianity and Judaism / Europe / Western culture / Jaroslav Pelikan / Apostolic Age / Christian / Christianity / Ancient Christianity / Religion
Date: 2010-10-29 12:34:53
Early Christianity and Judaism
Europe
Western culture
Jaroslav Pelikan
Apostolic Age
Christian
Christianity
Ancient Christianity
Religion

Microsoft Word - TRH1010H[removed]doc

Add to Reading List

Source URL: www.trinity.utoronto.ca

Download Document from Source Website

File Size: 107,24 KB

Share Document on Facebook

Similar Documents

Geography of Europe / Europe / Cantons of the Helvetic Republic / Cantons of Switzerland / Canton of Ticino / Switzerland / Bellinzona

Relevant affiliations of the Bank Council members Christian Vitta, Member of the Bank Council Initial election 2016 Christian Vitta, Preonzo, born 1972, Swiss citizen

DocID: 1xW3d - View Document

Information technology management / Business / PricewaterhouseCoopers / Business process management / Automation / Business process modeling / Economy / Management

11 SeptemberData & Analytics in M&A The art of the possible Christian Westermann, Partner, Data & Analytics Leader Dev Singh, Director, Transaction Services and Deals Data Analytics

DocID: 1xVXL - View Document

Theoretical computer science / Mathematics / Algebra / Formal methods / Logic in computer science / Computability theory / Models of computation / Lambda calculus / Satisfiability modulo theories / -ring / De Bruijn index

Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette

DocID: 1xVWc - View Document

Computational neuroscience / Artificial intelligence / Computer storage devices / Computer data storage / Vision / Non-volatile memory / Solid-state drive / Convolutional neural network / Object detection / Artificial neural network

arXiv:1512.02325v5 [cs.CV] 29 DecSSD: Single Shot MultiBox Detector Wei Liu1 , Dragomir Anguelov2 , Dumitru Erhan3 , Christian Szegedy3 ,

DocID: 1xVyo - View Document

Mathematical logic / Logic / Mathematics / Predicate logic / Computability theory / Models of computation / First-order logic / Lambda calculus / Term / Quantifier / Natural deduction / CurryHoward correspondence

Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

DocID: 1xVkl - View Document