Mathematical aspects of logic programming semantics
By: Hitzler, Pascal.
Material type:
BookSeries: Chapman & Hall / CRC studies in informatics series.Publisher: Boca Raton: CRC Press, 2011Description: xxx, 274 p.; ill.: 25 cm.ISBN: 9781439829615 .Subject(s): Topology | Logic programming | Foxed-point theory | Artificial neural networkDDC classification: 005.115
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.115 HIT (Browse shelf) | Available | 026684 |
Browsing DAIICT Shelves Close shelf browser
| 005.115 APT Logic programming paradigm : a 25-year perspective | 005.115 BOO Computability and Logic | 005.115 DOE Haskell road to logic, maths and programming | 005.115 HIT Mathematical aspects of logic programming semantics | 005.115 YUA Constraint-based verification | 005.116 APT Constraint logic programming using ECLiPSe | 005.117 AIH Learning UML |
There are no comments for this item.