《LOGICS OF PROGRAMS》求取 ⇩

1984《LOGICS OF PROGRAMS》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由CLARKE EDMUND AND DEXTER KOZEN 1984 Springer-Verlag 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

MANY-VALUED LOGICS(1952 PDF版)
MANY-VALUED LOGICS
1952 NORTH-HOLLAND PUBLISHING COMPANY
LOGICS FOR ARTIFICIAL INTELLIGENCE( PDF版)
LOGICS FOR ARTIFICIAL INTELLIGENCE
ELLIS HORWOOD LIMITED
Theorem Proving in Higher Order Logics( PDF版)
Theorem Proving in Higher Order Logics
The Evolution of Programs( PDF版)
The Evolution of Programs
Benefit-cost analysis of government programs(1981 PDF版)
Benefit-cost analysis of government programs
1981 Prentice-Hall
TEMPORAL LOGICS AND THEIR APPLICATIONS(1987 PDF版)
TEMPORAL LOGICS AND THEIR APPLICATIONS
1987 ACADEMIC PRESS
THE LOGICS OF PARTY FORMATION(1989 PDF版)
THE LOGICS OF PARTY FORMATION
1989 CORNELL UNIVERSITY PRESS
Model-theoretic logics(1985 PDF版)
Model-theoretic logics
1985 Springer-Verlag
STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS(1985 PDF版)
STRUCTURE AND INTERPRETATION OF COMPUTER PROGRAMS
1985 THE MIT PRESS
LOGICS AND LANGUAGES(1973 PDF版)
LOGICS AND LANGUAGES
1973 ROUTLEDGE TAYLOR & FRANCIS GROUP
Economic analysis of farm programs(1991 PDF版)
Economic analysis of farm programs
1991 McGraw-Hill Inc.
MANAGEMENT OF HUMAN SERVICE PROGRAMS SECOND EDITION(1991 PDF版)
MANAGEMENT OF HUMAN SERVICE PROGRAMS SECOND EDITION
1991 BROOKS/COLE PUBLISHING COMPANY
THE INTERPRETATION OF DREAMS A STUDENT'S COMPANION TO THE TEXT(1987 PDF版)
THE INTERPRETATION OF DREAMS A STUDENT'S COMPANION TO THE TEXT
1987 TWAYNE PUBLISHERS. BOSTON
PHILOSOPHY OF LOGICS(1978 PDF版)
PHILOSOPHY OF LOGICS
1978 CAMBRIDGE UNIVERSITY PRESS
NON-STANDARD LOGICS FOR AUTOMATED REASONING(1988 PDF版)
NON-STANDARD LOGICS FOR AUTOMATED REASONING
1988 ACADEMIC PRESS