Mathematical aspects of logic programming semantics/ Pascal Hitzler, Anthony Seda.
Series: Chapman & Hall/CRC studies in informatics seriesPublication details: Boca Raton: CRC Press, c2011.Description: xxx, 274 p.: ill.; 25 cmISBN:- 9781439829615 (hardback)
- 1439829616 (hardback)
- 005.133 H676m
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 005.133 H676m 2011 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000658842 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
No cover image available No cover image available | ||||||||
005.133 H552m 1984 IMPA Mathematik/ | 005.133 H638m 2000 IMPA MATLAB guide/ | 005.133 H673 1981 IMPA History of programming languages/ | 005.133 H676m 2011 IMPA Mathematical aspects of logic programming semantics/ | 005.133 H694t 1998 IMPA TeX unbound: LaTeX & TeX strategies for fonts, graphics, & more/ | 005.133 I22p 2003 IMPA Programming in Lua/ | 005.133 I22p 2006 IMPA Programming in Lua/ |
Includes bibliographical references and index.
There are no comments on this title.