A computational Logic Handbook/
Boyer Robert S., Moore J Strother Moore,
A computational Logic Handbook/ - Second Edition. - New York: Academic Press, 1998. - xxv,518p: ill.; 23.4cm.
Includes Bibliographical, Appendixes, References and Indexes
0121229556
Mathematics
511.3 BOY 1998
A computational Logic Handbook/ - Second Edition. - New York: Academic Press, 1998. - xxv,518p: ill.; 23.4cm.
Includes Bibliographical, Appendixes, References and Indexes
0121229556
Mathematics
511.3 BOY 1998
