Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
MATHEMATICAL ASPECTS OF SCHEDULING AND APPLICATIONS
R.BELLMAN1982 年出版329 页ISBN：
FUNDAMENTALS OF MATHEMATICAL ANALYSIS PART 1
V.A.ILYIN AND E.G.POZNYAK2222 年出版637 页ISBN：
FUNDAMENTALS OF MATHEMATICAL ANALYSIS PART 2
V.A.ILYIN AND E.G.POZNYAK1982 年出版438 页ISBN：
The 13th International Symposium on Multiple-Valued Logic 1983.
2222 年出版431 页ISBN：0818600160
METHODS AND TECHNIQUES OF MATHEMATICAL PHYSICS
B.BROSOWSKI2222 年出版195 页ISBN：3820458506
MACHINE INTELLIGENCE 12 Toards an automated logic of human thought
J.E.HAYES1991 年出版342 页ISBN：
