Nunchaku - PDFSEARCH.IO - Document Search Engine

Nunchaku
Results: 14

#	Item
1	Engineering Nunchaku: A Modular Pipeline of Codecs Simon Cruanes 28th of June, 2016 Simon Cruanes Add to Reading List Source URL: cedeela.fr Language: English - Date: 2016-06-28 05:58:53 Software engineering Software Proof assistants Theoretical computer science Functional languages Automated theorem proving Logic in computer science Nunchaku Isabelle HOL Coq Kepler conjecture
2	Nunchaku: Flexible Model Finding for Higher-Order Logic Simon Cruanes, Jasmin Blanchette, Andrew Reynolds Veridis, Inria Nancy https://cedeela.fr/~simon/ April 7th, 2016 Add to Reading List Source URL: cedeela.fr Language: English - Date: 2016-04-07 05:17:04 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution
3	Prohibited Weapons No. 12, 1997 Add to Reading List Source URL: www.legislation.act.gov.au Language: English - Date: 2013-09-27 01:29:16 Nunchaku Law Gun laws in Wisconsin
4	Oodnadatta, South Australia July 2014 Daily Weather Observations Date Day Add to Reading List Source URL: www.bom.gov.au Language: English - Date: 2015-03-08 09:20:28
5	RTF Document Add to Reading List Source URL: www.legislation.act.gov.au Language: English - Date: 2013-09-27 01:29:48
6	Weapons No. 17, 1996 Add to Reading List Source URL: www.legislation.act.gov.au Language: English - Date: 2013-08-11 19:42:24 Law enforcement Military technology Security Nunchaku Baton Club
7	RTF Document Add to Reading List Source URL: www.legislation.act.gov.au Language: English - Date: 2013-09-27 01:29:25
8	Australian Capital Territory Prohibited Weapons Regulations Subordinate Law No. 12 of[removed]The Australian Capital Territory Executive makes the following Add to Reading List Source URL: www.legislation.act.gov.au Language: English - Date: 2013-09-27 01:29:16 Nunchaku Gun laws in Wisconsin
9	Australian Capital Territory Weapons Regulations1 (Amendment) Subordinate Law No. 17 of[removed]The Australian Capital Territory Executive makes the following Add to Reading List Source URL: www.legislation.act.gov.au Language: English - Date: 2013-08-11 19:42:19 Law enforcement Military technology Security Nunchaku Baton Club
10	[removed]cv Maloney v. Cuomo UNITED STATES COURT OF APPEALS FOR THE SECOND CIRCUIT Add to Reading List Source URL: lawprofessors.typepad.com Language: English - Date: 2009-01-29 20:47:00 Nunchaku Second Amendment to the United States Constitution Law District of Columbia v. Heller Appeal