![]() |
![]() |
Area della Ricerca di Padova
|
Item type | Location | Call Number | Copy | Status | Date Due |
---|---|---|---|---|---|
Books | Istituto di Ingegneria Biomedica | QA76.73.P76S88L (Browse Shelf) | 1 | Available |
![]() |
![]() |
||||||
QA76.73.P76R92LGraph-based proof procedure for horn clauses / | QA76.73.P76S74The art of prolog : advanced programming techniques / | QA76.73.P76S74The art of Prolog : advanced programming techniques / | QA76.73.P76S88LProlog / | QA76.73.P76T53Memory performance of prolog architectures / | QA76.73.P83LPascal : dal microprocessore al grande elaboratore / |
There are no comments for this item.