FUNDAMENTALS OF COMPUTING I:LOGIC PROBLEM SOLVING PROGRAMS AND COMPUTERS
ALLEN B.TUCKER2222 年出版400 页ISBN:
FOORNDATIONS OF COMPUTATIONAL LINGUISTICS HUMAN COMPUTER COMMUNICATION IN NATURAL LANGUAGE
ROLAND HAUSSER2001 年出版578 页ISBN:
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103
ASPECTS OF COMPUTATION ON ASYNCHRONOUS PARALLEL PROCESSORS
1989 年出版271 页ISBN:0444873104
COMPUTATIONAL AND GEOMETRIC ASPECTS OF MODERN ALGEBRA
MICHAEL ATKINSON2000 年出版0 页ISBN:
Handbook of Logic and Proof Techniques for Computer Science
2002 年出版245 页ISBN:081764220X
Lecture Notes in Computer Science 4514 Logical Foundations of Computer Science International Symposi
LFCS 20072007 年出版513 页ISBN:9783540727323
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN: