Computational logic
Boyer Robert S
Computational logic - New York Academic Press 1983 - xiv,399p. cm. - ACM monograph series .
Appendix 329-84p
36099
Textual
Computer science
D65,8(B), L93
Computational logic - New York Academic Press 1983 - xiv,399p. cm. - ACM monograph series .
Appendix 329-84p
36099
Textual
Computer science
D65,8(B), L93
