Automated Theorem Proving

EUROCAL '85

Volume 204 of the series Lecture Notes in Computer Science pp 40-49

Date:

Towards practical implementations of syllogistic

  • S. GhelfoAffiliated withENIDATA S.p.A., Divisione Prodotti TEMA
  • , E. G. OmodeoAffiliated withENIDATA S.p.A., Divisione Prodotti TEMA

* Final gross prices may vary according to local VAT.

Get Access