Refine your search
Availability
-
Authors
- Abadi, Martin. (1)
- Cardelli, Luca. (1)
- Castillo, Enrique, (1)
- Gutierrez, Jose Manu... (1)
- Hadi, S. Ali. (1)
- Show more
-
Collections
-
Holding libraries
-
Item types
- Main Collection (3)
-
Series
-
Topics
- Computable functions... (1)
- Expert systems (Comp... (1)
- Object-oriented prog... (1)
- Probabilities. (1)
- Set theory. (1)