STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN：0444895051
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN：0444898409
High-performance embedded computing: applications in cyber-physical systems and mobile computing Sec
Marilyn Wolf2015 年出版486 页ISBN：7111499305
THE FOUNDATIONS OF ANTI-APARTHEID LIBERAL HUMANITARIANS AND TRANSNATIONAL ACTIVISTS IN BRITAIN AND
C.1919-642010 年出版258 页ISBN：0230203663
THE FOUNDATIONS OF PUBLIC LAW PRINCIPLES AND PROBLEMS OF POWER IN THE BRITISH CONSTITUTION
KEITH SYRETT2011 年出版293 页ISBN：023023643X
Proceedings of the Fifteenth International florida Artificial Intelligence Research Society Conferen
2002 年出版550 页ISBN：157735141X
ARTIFICIAL INTELLIGENCE:STRUCTURES AND STRATEGIES FOR COMPLEX PROBLEM SOLVING:FOURTH EDITION
GEORGE F.LUGER2001 年出版856 页ISBN：0201648660
PROCEEDINGS OF THE EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE VOLUME 2
1983 年出版1206 页ISBN：0865760640
PROCEEDINGS OF THE EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE VOLUME 1
1983 年出版615 页ISBN：0865760640
