sci.logic (thread)
[
Date Index
]
[
Top
]
[
All Lists
]
<
Prev Period
]
[
Next Period
>
A Shorter 3SAT to 2+SAT Conversion
,
reasterly
,
2008/04/23
Proving (or P (not P)) in a natural deduction system
,
namin
,
2008/04/18
Re: Proving (or P (not P)) in a natural deduction system
,
namin
,
2008/04/19
Limited Resolution for 3SAT
,
reasterly
,
2008/04/16
<
Prev Period
]
[
Next Period
>
Privacy Policy