![]() |
![]() |
Area della Ricerca di Padova
|
Item type | Location | Call Number | Copy | Status | Date Due |
---|---|---|---|---|---|
Books | Istituto di Ingegneria Biomedica | BC71.B38 (Browse Shelf) | 1 | Available |
Contents. I. Classical theories. II. Recent developments 1: computational applications. Recent developments 2: partiality. IV Recent developments 3: logical semantics.
There are no comments for this item.