01952nam 2200373 n 450 99639484460331620200824120551.0(CKB)3810000000009346(EEBO)2240864299(UnM)99828231e(UnM)99828231(EXLCZ)99381000000000934619950405d1680 uy |engurbn||||a|bb|The history of the Plot: or A brief and historical account of the charge and defence of Edward Coleman, Esq[electronic resource] William Ireland, Thomas Pickering, John Grove. Robert Green, Henry Berry, Laurence Hill. Tho. Whitebread, William Harcourt, John Fenwick, John Gavan, Anthony Turner, Jesuites. Richard Langhorne, Esq; Sir George Wakeman, baronet. William Marshall, William Rumley, James Corker, Benedictine monks. Not omitting any one material passage in the whole proceeding. Compiled by Roger L'Estrange, Esq; by authorityLondon printed for Henry Brome in St. Paul's Church-yard, and Richard Tonson within Grayes-Inn-Gate next Grayes-Inn-Lane1680[4], 22, 21-88 p., plateWith an engraved portrait of Roger L'Estrange signed: R. White sculpsit.The names "Tho. Whitebread, .. Turner," and "William Marshall, .. Corker," are enclosed in a complex system of brackets on title page.Reproduction of the original in the Union Theological Seminary Library.eebo-0160Popish Plot, 1678Early works to 1800Popish Plot, 1678L'Estrange RogerSir,1616-1704.833447White Robert1645-1703,Cu-RivESCu-RivESCStRLINWaOLNBOOK996394844603316The history of the Plot: or A brief and historical account of the charge and defence of Edward Coleman, Esq2391202UNISA03209nam 22007455 450 991041343930332120251107152705.03-030-53518-510.1007/978-3-030-53518-6(CKB)4100000011354787(DE-He213)978-3-030-53518-6(MiAaPQ)EBC6273284(PPN)254614086(MiAaPQ)EBC6270846(EXLCZ)99410000001135478720200717d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntelligent Computer Mathematics 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings /edited by Christoph Benzmüller, Bruce Miller1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (XI, 337 p. 445 illus., 54 illus. in color.) Lecture Notes in Artificial Intelligence,2945-9141 ;122363-030-53517-7 Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks.This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020*. The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. * The conference was held virtually due to the COVID-19 pandemic.Lecture Notes in Artificial Intelligence,2945-9141 ;12236Artificial intelligenceComputer scienceComputer networksApplication softwareSoftware engineeringComputersArtificial IntelligenceTheory of ComputationComputer Communication NetworksComputer and Information Systems ApplicationsSoftware EngineeringComputing MilieuxArtificial intelligence.Computer science.Computer networks.Application software.Software engineering.Computers.Artificial Intelligence.Theory of Computation.Computer Communication Networks.Computer and Information Systems Applications.Software Engineering.Computing Milieux.004.0151006.30151Benzmüller Christophedthttp://id.loc.gov/vocabulary/relators/edtMiller Bruceedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910413439303321Intelligent Computer Mathematics3552027UNINA