Abstract

A description of the commands for the logic package of the computer algebra system Maple are given. The methods of solving some common mathematical logic problems with Maple are considered

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call