META-PROGRAMMING IN LOGIC PROGRAMMING
HARVEY ABRAMSON AND M.H.ROGERS2222 年出版545 页ISBN:0262510472
Logic And Algebraic Structures In Quantum Computing
Jennifer Chubb ; Ali Eskandarian ; Valentina Harizanov2016 年出版346 页ISBN:1107033399
MATHEMATICAL TECHNIQUES IN CHEMISTRY
JOSEPH B.DENCE2222 年出版442 页ISBN:047120319X