Recent progress in the Boolean domain /

Recent progress in the Boolean domain /

Show other versions (1)
Saved in:
Bibliographic Details
Other Authors: Steinbach, Bernd (Editor)
Format: Electronic eBook
Language:English
Published: Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
Subjects:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
Electronic books.
Online Access:An electronic book accessible through the World Wide Web; click to view
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items