Research > Research at the UdG > Lines of research > Detail
Go to content (click on Intro)
UdG Home UdG Home
Close
Menu
Machine translation, text awaiting revision

Investiga

Línia de recerca: Aplicacions de la lògica a la informàtica

Lògica a la Informàtica. Estudi i desenvolupament de fonaments, mètodes i eines basats en la lògica per a la resolució de problemes computacionalment complexos.

Codis UNESCO vinculats

Codi UNESCO Nom
1101 Aplicacions de la lògica
1203.04 Intel•ligència artificial
1203.23 Llenguatges de programació (vegeu 5701.04)

Choose which types of cookies you accept which the University of Girona can store in your browser.

Those that are essential for enabling your connection. There is no option for disabling them, as they are necessary for the functioning of the website.

These enable your options to be remembered (for example language or region you are accessing from), to provide you with advanced services.

They provide statistical information and enable improved services. We use Google Analytics cookies which you can deactivate by installing this plugin.

To offer advertising contents relating to the interests of users, either directly, or through third parties (“adservers”). These must be activated if you wish to see the YouTube videos uploaded to the University of Girona’s website.

The University of Girona website uses its own and third-party cookies for technical and analytical purposes. To manage them use the manager. If you would like further information, please access our Cookies Policy.