我的图书馆

Automated reasoning : introduction and applications

Englewood Cliffs, N.J. : Prentice-Hall, c1984. c1984

The cognitive computer : on language, learning, and artificial intelligence

Schank, Roger C., 1946-
Reading, Mass. : Addison-Wesley Pub. Co., 1984. 1984

Computer science : a mathematical introduction

Lew, Art.
Englewood Cliffs, NJ : Prentice/Hall, 1984. 1984

The evolution of programs

Dershowitz, Nachum.
Boston : Birkh่auser, 1983. 1983

Introduction to computer science

Levison, Michael.
New York : Gordon and Breach, [1968] 1968

Introduction to logic programming

Hogger, Christopher John.
London ; Orlando : Academic Press, 1984. 1984

Logic, algebra, and databases

Gray, Peter M. D., 1940-
Chichester, West Sussex, England : E. Horwood ; New York : Distributor, Halsted Press, 1984. 1984

Pascal, an introduction to the art and science of programming

Savitch, Walter J., 1943-
Menlo Park, CA : Benjamin/Cummings Pub. Co., 1984. 1984

Principles of functional programming

Glaser, Hugh.
Englewood Cliffs, N.J. : Prentice/Hall International, c1984. c1984

Software engineering with Modula-2 and Ada

Wiener, Richard, 1941-
New York : Wiley, c1984. c1984

Structure and interpretation of computer programs

Abelson, Harold.
Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, c1985. c1985