| Títol | Autor | Ubicació | # | Disp. | Dig. | Data d'entrada | ||
| 1 | Prolog and expert systems | Bowen | BCU-Informàtica |
1 | 06/11/2007 | |||
| 2 | Lògica computacional / | Binefa i Valls, Xavier | BCU-Informàtica BCU-Biblioteca Comunal Universitària EN TRACTAMENT |
8 | 06/05/2011 |