| |
| Gookin, Dan. |
|
81. |
Word 2000 for Windows for dummies / by Dan Gookin.
|
1999 |
|
| |
| Caglayan, A. |
|
82. |
Agent sourcebook / Alper Caglayan, Colin Harrison.
|
1997 |
|
| |
| Cristianini, Nello. |
|
83. |
An introduction to support vector machines : and other kernel-based learning methods / Nello Cristianini and John Shawe-Taylor.
|
2000 |
|
| |
| Davey, B. A. |
|
84. |
Introduction to lattices and order / B.A. Davey, H.A. Priestley. — 2nd ed.
|
2002 |
|
| |
| Chellas, Brian F. |
|
85. |
Modal logic an introduction / Brian F. Chellas.
|
1980 |
|
| |
| Cutland, Nigel. |
|
86. |
Computability, an introduction to recursive function theory / Nigel Cutland.
|
1980 |
|
| |
| Davie, A. J. T. (Antony J. T.), 1939- |
|
87. |
An introduction to functional programming systems using Haskell / Antony J.T. Davie.
|
1992 |
|
| |
| Nielson, Flemming, 1955- |
|
88. |
Two-level functional languages / Flemming Nielson, Hanne Riis Nielson.
|
1992 |
|
| |
| Andrews, James H. |
|
89. |
Logic programming : operational semantics and proof theory / James H. Andrews.
|
1992 |
|
| |
| Levi, Isaac, 1930- |
|
90. |
For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning / Isaac Levi.
|
1996 |
|
| |
| Meyer, John-Jules Ch. |
|
91. |
Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek.
|
1995 |
|
| |
| Hammer, Eric M., 1967- |
|
92. |
Logic and visual information / Eric M. Hammer.
|
1995 |
|
| |
| Autores varios |
|
93. |
Modal logic and process algebra : a bisimulation perspective / edited by Alban Ponse, Maarten de Rijke & Yde Venema.
|
1995 |
|
|
94. |
Partiality, modality, and nonmonotonicity / [edited by] Patrick Doherty.
|
1996 |
|
| |
| Fuhrmann, A. (André), 1958- |
|
95. |
An essay on contraction / André Fuhrmann.
|
1997 |
|
| |
| Paulson, Lawrence C. |
|
96. |
ML for the working programmer / Lawrence C. Paulson. — 2nd ed.
|
1996 |
|
| |
| Benthem, J. F. A. K. van, 1949- |
|
97. |
Exploring logical dynamics / Johan van Benthem.
|
1996 |
|
| |
| Brewka, Gerhard. |
|
98. |
Nonmonotonic reasoning : an overview / Gerhard Brewka, Jürgen Dix, and Kurt Konolige.
|
1997 |
|
| |
| Burns, Alan, 1953- |
|
99. |
Concurrency in ADA / Alan Burns and Andy Wellings. — 2nd ed.
|
1998 |
|
| |
| Eberly, David H. |
|
100. |
3D game engine design : a practical approach to real-time computer graphics / David H. Eberly.
|
2001 |
|
