Results
|
|
|
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira Publication: New York : Springer-Verlag, cop. 1996Description: XXII, 326 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 31391 (1).
|
|
|
|
Logics in artificial intelligence : proceedings of the European Workshop, JELIA'96, Évora, Portugal, September 30-October 3, 1996 / ed. by José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska Publication: London : Springer-Verlag, cop. 1996Description: X, 416 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 31396 (1).
|
|
|
|
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira Publication: Berlin : Springer, cop. 1996Description: XX, 326 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 34497 (1).
|
|
|
|
Progress in artificial intelligence : 9th Portuguese Conference on Artificial Intelligence, EPIA'99, Évora, Portugal, September 21-24, 1999 : proceedings / Pedro Barahona, José J. Alferes, ed. lit. Publication: Berlin [etc.] : Springer, cop. 1999Description: XI, 383 p. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 50919 (1).
|
|
|
|
Principles and pratice of semantic web reasoning : 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006 : revised selected papers / International Workshop on Principles and Pratice of Semantic Web Reasoning ; José Júlio Alferes, ed. lit. ... [et al.] Publication: Berlin : Heidelberg, DE : Springer, cop. 2006Description: XI, 275 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 63815 (1).
|
|
|
|
Logics in artificial intelligence : 9th european conference, JELIA 2004 Lisbon, Portugal, september 27-30, 2004 : proceedings / 9th European Conference, JELIA 2004 ; ed. by José Júlio Alferes, João Leite Publication: London : Springer-Verlag, cop. 2004Description: XIV, 744 p. :
il. ;
24 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 100370 (1).
|
