 |
Saint Pius V: The Legendary Pope Who Excommunicated Queen Elizabeth I, Standardized the Mass, and Defeated the Ottoman Empire by de Mattei, Roberto & Pellegrino, Giuseppe22 ott, 2021 Tags=[Religion, Christianity, Catholic, Christian Church, History, Saints & Sainthood] Amazon=[1644134616] Formats=[PDF,PDF_OCR] Google=[htINzgEACAAJ] ISBN=[9781644134627] Year=[2021]
|
 |
Handbook of Satisfiability (2nd ed.) [Frontiers in Artificial Intelligence and Applications - 336.0] by Biere, Armin & Heule, Marjin & Maaren, Hans van & Walsh, Toby19 set, 2018 Tags=[Boolean Algebra -- Congresses, COMPUTERS, computer science, satisfiability, Propositional calculus -- Congresses, Computer algorithms -- Congresses, Decision making -- Congresses, SAT] DOI=[10.3233/FAIA336] Formats=[PDF] Google=[dUAvEAAAQBAJ] ISBN=[9781643681610] LCN=[QA9.3 -- .H36 2021] OCLC=[1252418310] Year=[2021]
|