ARTIFICIAL INTELLIGENCE:Applications to Logical Reasoning and Historical Research
2222 年出版172 页ISBN:0853128561
MODERNISM AND TIME The Logic of Abundance in Literature
Science2000 年出版0 页ISBN:
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
DIFFERENTIAL EQUATIONS OF MATHEMATICAL PHYSICS
N.S. KOSHLYAKOV1964 年出版701 页ISBN: