|
|
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / Johan Van BenthemPublication: Dordrecht, NL : Kluwer Academic Publishers, cop. 1991Description: XXII, 280 p. :
il. ;
23 cmAvailability: Items available for loan: [BC199.BEN FCT 23932] (1).
|
|
|
Formal ontology in information systems : proceedings of the first international conference, FOIS'98, June 6-8, Trento, Italy / edited by N. GuarinoPublication: Amsterdam [etc.] : IOS Press : OMM Ohmsha, cop. 1998Description: X, 337 p. :
il. ;
25 cmAvailability: Items available for loan: [BD311.INT FCT 46323] (1).
|
|
|
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / Johan van BenthemPublication: Dordrecht, NL : Kluwer Academic Publishers, cop. 1991Description: XXII, 280 p. :
il. ;
23 cmAvailability: Items available for loan: [BC199.BEN FCT 29875] (1).
|
|
|
The language of science : a study of the relationship between literature and science in the perspective of a hermeneutical ontology with a case study of Darwin's the origin of species / Ilse N. BulhofPublication: New York : E. J. Brill, 1992Description: VI, 207 p. ;
25 cmAvailability: Items available for loan: [PN55.BUL FCT 32845] (1).
|
|
|
Towards the semantic WEB : ontology-driven knowledge management / edited by John Davies, Dieter Fensel and Frank Van HarmelenPublication: West Sussex : John Wiley & Sons, cop. 2003Description: XX, 288 p. :
il. ;
24 cmAvailability: Items available for loan: [TK5105.88815.TOW FCT 59256] (1).
|
|
|
Reasoning web : second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures / Pedro Barahona, ed. lit. ... [et al.]Publication: Berlin, Heidelberg : Springer, cop. 2006Description: XII, 268 p. ;
24 cmAvailability: Items available for loan: [QA75.5.LEC FCT 63007] (1).
|
|
|
Uma solução para a interoperabilidade semântica em ambientes globais de negócios / João Filipe dos Santos SarraipaPublication: Lisboa : J. F. S. S., 2004Description: 105 p. ;
31 cm +
1 CD-ROMAvailability: Items available for reference: [QA76.SAR FCT 65688] (1).
|
|
|
Uma solução para a interoperabilidade semântica em ambientes globais de negócios [Documento electrónico] / João Filipe dos Santos SarraipaPublication: Lisboa : J. F. S. S., 2004Description: 1 CD-ROM ;
12 cmAvailability: Items available for loan: [QA76.SAR FCT 65689] (1).
|
|
|
Contradictions, from Consistency to Inconsistency [Documento electrónico] / edited by Walter Carnielli, Jacek MalinowskiPublication: Cham : Springer International Publishing : Imprint: Springer, 2018Description: VI, 322 p. 31 illus.Availability:
|