Yazar
Padric Daugherty
1 cilt bulundu.
Cilt sonuçları
A decidable sequent calculus theorem prover using controlled contraction
Padric Daugherty · Yayınevi bilinmiyor
136 sayfa · 1988
Predicate calculus / Decidability (Mathematical logic) / Proof theory / Automatic theorem proving