|
|
101. |
Essays in logical semantics /
by Benthem, John A. K. van
Publication:
Dordrecht ; Boston : D. Reidel Pub. Co., 1986
. XI, 225 p. ;
23 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
102. |
Constraint programming languages : their specification and generation /
by Leler, William
Publication:
Reading : Addison-Wesley Pub. Co., 1988
. VI, 202 p. :
24 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
103. |
Mirrors of minds : patterns of experience in educational computing : papers from the Center for Children and Technology, Bank Street College /
Publication:
Norwood, [N.J.] : Ablex Pub. Corp., 1987
. XVII, 329 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
104. |
Thermodynamics and control of biological free-energy transduction /
by Westerhoff, Hans V.
Publication:
Amsterda ; New York : Elsevier Science Pub. Co., 1987
. XXXI, 568 p. :
25 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
105. |
Functional integration and semiclassical expansions /
by Langouche, Flor
Publication:
Dordrecht ; Boston : Reidel Pub. Co., 1982
. XII, 313 p. :
23 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
106. |
Planning, geometry, and complexity of robot motion /
Publication:
Norwood : Ablex Pub. Corp., 1987
. IX, 337 p. :
24 cm.
Date:1987
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
107. |
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse /
by Benthem, John F. A. van
Publication:
Dordrecht ; Boston : Reidel Pub. Co., 1983
. XVI, 260 p. :
23 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
108. |
Probability and statistics /
by Lass, Harry
Publication:
Reading : Addison-Wesley Pub. Co., 1971
. IX, 470 p. :
25 cm.
Date:1971
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
109. |
Understanding computers and cognition : a new foundation for design /
by Winograd, Terry
Publication:
Norwood : Ablex Pub. Co., 1986
. XIV, 207 p. ;
, "Version of December 21, 1984"
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
110. |
Expert systems : techniques, tools, and applications /
by Klahr, Philip
Publication:
Reading : Addison-Wesley Pub. Co., 1986
. 441 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
111. |
Meaning and cognitive structure : issues in the computational theory of mind /
Publication:
Norwood : Ablex Pub. Co., 1986
. XI, 264 p. ;
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
112. |
Prolog /
Publication:
Wokingham : Addison-Wesley Pub. Co., 1986
. XI, 260 p. :
23 cm.
Date:1986
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
113. |
Introduction to robot programming in BASIC /
by Rony, Peter R.
Publication:
Reston : Reston Pub., 1985
. VIII, 376 p. :
28 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
114. |
Inside Macintosh /
by Rose, Caroline
Publication:
Reading : Addison-Wesley Pub. Co., 1988
. :
in 3 > : ill. (some c
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
115. |
Introduction to robotics : mechanics & control /
by Craig, John
Publication:
Reading : Addison-Wesley Pub. Co., 1986
. VIII, 303 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
116. |
Compilers : principles, techniques, and tools /
by Aho, Alfred V.
Publication:
Reading : Addison-Wesley Pub. Co., 1986
. X, 796 p. :
24 cm.
Date:1986
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
117. |
Medical equipment management in hospitals /
Publication:
Chicago : American Hospital Pub., 1982
. VII, 687 p. :
28 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
118. |
Empirical analysis for expert systems /
by Politakis, Peter G.
Publication:
Boston : Pitman Advanced Pub. Program, 1985
. 123 p. ;
, Revision of thesis (Ph.D.) - Rutgers University.
23 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
119. |
Industrial robots and robotics /
by Kafrissen, Edward
Publication:
Reston : Reson Pub. Co., 1984
. XIV, 398 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
120. |
Heuristic reasoning about uncertainty : an artificial intelligence approach /
by Cohen, Paul R.
Publication:
Boston : Pitman Advanced Pub. Program, 1985
. 204 p. ;
25 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|