Refine your search
Availability
-
Authors
- Anthony, Martin (1)
- Biggs, Norman (1)
- R ev esz, Gy orgy E. (1)
- Ramsay, Allan (1)
-
Collections
- Main Collection (3)
-
Holding libraries
- Matheson Library (3)
-
Item types
- Books (3)
-
Locations
- Main Collection (3)
-
Series
-
Topics
- Artificial intellige... (1)
- Combinatory logic (1)
- Functional programmi... (1)
- Lambda calculus (1)
- Logic, Symbolic and ... (1)
- Machine learning (1)
- Reasoning (1)
- Show more
- Show less