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