This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof ...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
Tropical Diseases: An Overview of Major Diseases Occurring in the Americas offers an overview of ...
Como foi a participação das mulheres cativas na sociedade escravista e nas primeiras décadas da p...
Esta publicação reúne de forma exemplar um conjunto de temas e reflexões sobre nossas preocupaçõe...
Sobre a obra Ensaios sobre Direito Processual das Famílias - 1ª Ed - 2024Estudos em Homenagem ao ...
Que sorte ter unido estas mulheres de TI, mesmo que não tenham iniciado na TI, para mostrar que s...
This collection describes techniques of lexical representation within a unification-based framework.
This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Pr...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this bo...
This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Pr...
Inheritance has been used in AI knowledge representation for many years. Until recently, however,...