6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

Status

Rate

Check Later

Product Links

Authors

Conference on Automated Deduction (6th 1982 New York, N.Y.)

Conference on Automated Deduction (6th 1982 New York, N.Y.)

Subjects

Symbolic And Mathematical Logic Conferences Démonstration Automatique Congresses Démonstration Théorème De Monstration The Ore Me Theorem Proving Automatic Theorem Proving De Monstration Automatique Automation

Reviews (0) see more

Seems like you haven't provided a review

Don't miss the opportunity to share your thoughts!

Similar Books

Similar Movies

Similar TV Series

Similar Games