Results 301 to 310 of about 342,984 (310)

Constructive Proof Theory

2017
openaire   +1 more source

Construction of Proofs

2007
openaire   +1 more source

Fire-Proof Construction.—II

Scientific American, 1878
openaire   +1 more source

Constructions, Proofs of Existence

2001
openaire   +1 more source

Reducing Proof-Construction Time

David Basin, Cas Cremers, Jannik Dreier, Ralf Sasse   +3 more
openaire   +1 more source

Introduction to Constructive Proof

2016
openaire   +1 more source

Construction, Figure & Proof

2009
openaire   +1 more source

Constructive Proofs and Algorithms

2015
openaire   +1 more source

Programming using constructive proofs

1992
openaire   +1 more source

Negotiating Arithmetic, Constructing Proof

1996
openaire   +1 more source