68000 Assembly Language Programming A Structured Approach
1987 年出版480 页ISBN：0138113815
PASCAL AN INTRODUCTION TO METHODICAL PROGRAMMING
WILLIAM FINDLAY DAVID A.WATT2222 年出版306 页ISBN：0273012207
Lecture Notes in Artificial Intelligence 3900 Computational Logic in Multi-Agent Systems 6th Interna
CLIMA VILondon2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4529 Foundations of Fuzzy Logic and Soft Computing 12th Int
IFSA 20072007 年出版830 页ISBN：9783540729174
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
A practical logic of cognitive systems volume 2 the reach of abduction insight and trial
dov m.gabbay and john woods2005 年出版476 页ISBN：044451791x
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 121 CONSTRUCTIVISM IN MATHEMATICS AN IN
A.S.TROELSTRA AND D.VAN DALEN1988 年出版356 页ISBN：0444702660
26 CAMBRIDGE COMPUTER SCIENCE TEXTS CONCURRENT PROGRAMMING
1992 年出版238 页ISBN：0521329762;0521339936
