Logic - PDFSEARCH.IO - Document Search Engine

Logic
Results: 27485

#	Item
51	Using Routers to Build Logic Circuits: How Powerful is BGP? Marco Chiesa? Luca Cittadini? ? Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02
52	Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:16:32 Abstract data types Queue Double-ended queue Dequeue Statistical theory Probability and statistics Economy
53	Page 1 of 31 Tinder and Flame: The Strategic Logic of Mass Killing MIKAELA WESTHOFF ∗ S Add to Reading List Source URL: www.saramitchell.org Language: English - Date: 2018-10-19 15:18:33 Human behavior Crimes Mass murder Homicide Human rights abuses Murder Genocide International criminal law Mass killing Political violence Politicide Nonviolence
54	Differentiable Inductive Logic Programming Richard Evans, Ed Grefenstette @LittleBimble, @egrefen https://jair.org/index.php/jair/article/view/11172 Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Machine learning Artificial intelligence Cybernetics Learning Applied mathematics Artificial neural networks Formal sciences Backpropagation Inductive programming
55	Advanced Proof Viewing in PROOFTOOL UITP 2014 Tomer Libal, Martin Riener, Mikheil Rukhaia July 17, 2014 Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-07-19 11:42:53 Proof theory Mathematical logic Mathematics Logic Sequent Gerhard Gentzen Cut-elimination theorem Thoralf Skolem
56	PDF Document Add to Reading List Source URL: logic.harvard.edu - Date: 2012-03-15 22:56:31
57	PDF Document Add to Reading List Source URL: www.bio-logic.net
58	PDF Document Add to Reading List Source URL: logic.harvard.edu - Date: 2013-10-08 22:30:24
59	PDF Document Add to Reading List Source URL: logic.harvard.edu - Date: 2011-09-26 19:10:21
60	PDF Document Add to Reading List Source URL: logic.harvard.edu - Date: 2011-09-20 00:26:33