The largest empty rectangle containing only a query object in Spatial Databases.
- Published in:
- GeoInformatica, 2014, v. 18, n. 2, p. 193, doi. 10.1007/s10707-013-0178-y
- By:
- Publication type:
- Article
Works matching DE "FORMAL proofs"
Results: 20
1
2
Nicholas of Amsterdam on Universal Knowledge.
- Published in:
- Bochumer Philosophisches Jahrbuch für Antike und Mittelalter, 2015, v. 18, n. 1, p. 195, doi. 10.1075/bpjam.18.08plu
- By:
- Publication type:
- Article
3
Measurement theory and utility analysis in Suppes' early work, 1951-1958.
- Published in:
- Journal of Economic Methodology, 2016, v. 23, n. 3, p. 252, doi. 10.1080/1350178X.2016.1189113
- By:
- Publication type:
- Article
4
A framework for characterizing students’ thinking about logical statements and truth tables.
- Published in:
- International Journal of Mathematical Education in Science & Technology, 2015, v. 46, n. 3, p. 337, doi. 10.1080/0020739X.2014.979895
- By:
- Publication type:
- Article
5
Students’ proofs of one-to-one and onto properties in introductory abstract algebra.
- Published in:
- International Journal of Mathematical Education in Science & Technology, 2013, v. 44, n. 8, p. 1107, doi. 10.1080/0020739X.2012.756546
- By:
- Publication type:
- Article
6
The first formalized proof of the indestructibility of a subsistent form.
- Published in:
- Studies in East European Thought, 2013, v. 65, n. 1/2, p. 65, doi. 10.1007/s11212-013-9181-y
- By:
- Publication type:
- Article
7
Verifying the bridge between simplicial topology and algebra: the Eilenberg–Zilber algorithm.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 39, doi. 10.1093/jigpal/jzt034
- By:
- Publication type:
- Article
8
The Steiner-Lehmus angle-bisector theorem.
- Published in:
- Mathematical Gazette, 2014, v. 98, n. 542, p. 193, doi. 10.1017/s0025557200001236
- By:
- Publication type:
- Article
9
THE WIDTH OF A PROOF.
- Published in:
- PNA (1886-1350), 2014, v. 9, n. 1, p. 29, doi. 10.30827/pna.v9i1.6109
- By:
- Publication type:
- Article
10
IN RE WILL OF COSMO RINAUDO.
- Published in:
- Quinnipiac Probate Law Journal, 2012, v. 26, n. 2, p. 117
- Publication type:
- Article
11
Discussion.
- Published in:
- International Statistical Review, 2015, v. 83, n. 2, p. 198, doi. 10.1111/insr.12072
- By:
- Publication type:
- Article
12
Efficient and Security Enhanced Anonymous Authentication with Key Agreement Scheme in Wireless Sensor Networks.
- Published in:
- Sensors (14248220), 2017, v. 17, n. 3, p. 644, doi. 10.3390/s17030644
- By:
- Publication type:
- Article
13
The Paradox of Idealization.
- Published in:
- Analysis, 2009, v. 69, n. 3, p. 461, doi. 10.1093/analys/anp069
- By:
- Publication type:
- Article
14
On the equation x<sup>n</sup>+y<sup>n</sup> = z<sup>n</sup>.
- Published in:
- General Mathematics, 2011, v. 19, n. 3, p. 53
- By:
- Publication type:
- Article
15
Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence.
- Published in:
- History & Philosophy of Logic, 2016, v. 37, n. 2, p. 170, doi. 10.1080/01445340.2015.1028610
- By:
- Publication type:
- Article
16
A new authenticated key agreement scheme based on smart cards providing user anonymity with formal proof.
- Published in:
- Security & Communication Networks, 2015, v. 8, n. 18, p. 3847, doi. 10.1002/sec.1305
- By:
- Publication type:
- Article
17
IBN SĪNĀ ON REDUCTIO AD ABSURDUM.
- Published in:
- Review of Symbolic Logic, 2017, v. 10, n. 3, p. 583, doi. 10.1017/S1755020316000290
- By:
- Publication type:
- Article
18
RSL volume 9 issue 1 Cover and Front matter.
- Published in:
- Review of Symbolic Logic, 2016, v. 9, n. 1, p. f1, doi. 10.1017/S1755020316000071
- Publication type:
- Article
19
Tractrices, Bicycle Tire Tracks, Hatchet Planimeters, and a 100-year-old Conjecture.
- Published in:
- American Mathematical Monthly, 2013, v. 120, n. 3, p. 199, doi. 10.4169/amer.math.monthly.120.03.199
- By:
- Publication type:
- Article
20
Conflicting evidence and decisions by agency professionals: an experimental test in the context of merger regulation.
- Published in:
- Theory & Decision, 2012, v. 73, n. 3, p. 465, doi. 10.1007/s11238-011-9258-3
- By:
- Publication type:
- Article