Articles liés à Automated Theorem-proving in Non-classical Logics

Automated Theorem-proving in Non-classical Logics - Couverture souple

Thistlewaite, Paul B.; McRobbie, Michael A.; Meyer, Robert K.

 
9780273087816: Automated Theorem-proving in Non-classical Logics