Catálogo bibliográfico FCT/UNL

Your search returned 2 results.

Sort
Results
Computer science logic : 13th International Workshop, CSL'99 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / edited by Matthias Baaz, Johann A. MakowskyPublication: Berlin [etc.] : Springer, cop. 2003Description: XII, 590 p. ; 24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 60463 (1).

Rules and rule markup languages for the semantic web : First International Conference, RuleML 2005, Galway, Ireland, November 2005 : proceedings / edited by Matthias Baaz, Johann A. MakowskyPublication: New York : Springer, cop. 2005Description: X, 223 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 61938 (1).

Pages
Moodle da Biblioteca Slideshare da Biblioteca Siga-nos no Issuu Twitter da Biblioteca Instagram da Biblioteca Facebook da Biblioteca Blog da Biblioteca