|
|
|
8301. |
Connections and symbols /
Publication:
Cambridge ; London : The MIT Press, 1988
. 255 p. ;
, Reprinted from Cognition: international journal of cognitive science, vol. 28 (1988)
23 cm.
Date:1988
Availability:
No items available:
Checked out (2),
Actions:
|
|
|
8302. |
The Macintosh bible : thousands of basic and advanced tips, tricks, and shortcuts, logically organized and fully indexed /
by Zardetto Aker, Sharon
Publication:
Berkeley : Goldstein & Blair, 1991
. 1114 p. :
23 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8303. |
Computer simulation in human population studies /
Publication:
New York : Academic Press, 1974
. XX, 518 p. ill. ;
, Proceedings of a conference sponsored by the Social Scienc e Research Council and held at the Pennsylvania State University, June 12-14, 1972
24 cm.
Date:1974
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8304. |
The language of first-order logic : including the program Tarski's World /
by Barwise, Jon
Publication:
Menlo Park : CSLI, 1990
. XIII, 259 p. ;
23 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8305. |
Einfuhrung in die Allgemeine Terminologielehre und Terminologische Lexikographie /
by Wuster, Eugen
Publication:
[S.l.] : Infoterm, 1985
. XV, 214 p. ;
20 cm.
Date:1985
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8306. |
Modelli mentali : verso una scienza cognitiva del linguaggio, dell'inferenza e della coscienza /
by Johnson-Laird, Philip Nicholas
Publication:
Bologna : Il Mulino, 1988
. 744 p. 22 cm.
, Trad. di Alberto Mazzocco
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8307. |
Terminologie in Theorie und Praxis /
by Felber, Helmut
Publication:
Tubingen : Gunter Narr Verlag, 1989
. XX, 315 p. ;
23 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8308. |
Teoria della predizione e del filtraggio /
by Bittanti, Sergio
Publication:
Bologna : Pitagora, 1990
. VIII, 244 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8309. |
Theory of lie groups /
by Chevalley, Claude
Publication:
Princeton : Princeton University Press, 1946
. XII, 217 p. ;
23 cm.
Date:1946
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8310. |
Artificial neural systems : foundations, paradigms, applications, and implementations /
by Simpson, Patrick K.
Publication:
New York : Pergamon Press, 1989
. XIV, 210 p. ;
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8311. |
Natural language and logic : proceedings /
Publication:
Berlin ; New York : Springer-Verlag, 1990
. 252 p. :
25 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8312. |
10th International Conference on automated deduction. Kaiserslautern, FRG, July 1990 : proceedings /
Publication:
Berlin : Springer-Verlag, 1990
. XVI, 688 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8313. |
Logics in AI : European Workshop JELIA '90, Amsterdam, The Nederlands, September 10-14, 1990, proceedings /
Publication:
Berlin ; New York : Springer-Verlag, 1991
. IX, 561 p. :
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8314. |
Robot tactile sensing /
by Russell, Andrew
Publication:
New York : Prrentice Hall, 1990
. X, 174 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8315. |
Sublanguage : studies of language in restricted semantic domains /
Publication:
Berlin ; New York : de Gruyter, 1982
. VI, 240 p. ;
24 cm.
Date:1982
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8316. |
Venezia restaurata : centosettanta anni di interventi di restauro sugli edifici veneziani /
by Pertot, Gianfranco
Publication:
Milano : Franco Angeli, 1988
. VIII, 189 p. :
22 cm.
Date:1988
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8317. |
Random processes for classical equation of mathematical physics /
by Ermakov, Sergei Mikhailovich
Publication:
Dordrecht : Kluwer academic publishers, 1989
. XX, 282 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8318. |
Theory of martingales /
by Liptser, Robert Shevilevich
Publication:
Dordrecht : Kluwer Academic Publishers, 1989
. XIV, 792 p. ;
24 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8319. |
Uncertainty in artificial intelligence 5 /
Publication:
Amsterdam : North-Holland, 1990
. XIV, 460 p. ;
, Pepers presented at the fifth Workshop on Uncertainty in Artificial Intelligence, held on august 18th to 20th, 1989 at the University of WIndsor in Ontario, Canada
23 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
8320. |
Programming in Martin Lof' s type theory : an introduction /
by Nordstrom, Bengt
Publication:
Oxford : Clarendon Press, 1990
. 221 p. ;
24 cm.
Date:1990
Availability:
No items available:
Checked out (1),
Actions:
|
|
