Lecture Notes in Computer Science 363 Logic at Botik'89
1989 年出版289 页ISBN:0387512373
ARTIFICIAL INTELLIGENCE:Applications to Logical Reasoning and Historical Research
2222 年出版172 页ISBN:0853128561
DIFFERENTIAL EQUATIONS OF MATHEMATICAL PHYSICS
N.S. KOSHLYAKOV1964 年出版701 页ISBN: