Solving bratman’s video game puzzle in two formalisms (Contributo in volume (capitolo o saggio))

Type

• Prodotto della ricerca (Classe)
• Contributo in volume (capitolo o saggio) (Classe)

Label

• Solving bratman’s video game puzzle in two formalisms (Contributo in volume (capitolo o saggio)) (literal)

Anno

• 2007-01-01T00:00:00+01:00 (literal)

Alternative label

• Trypuz, R., Lorini, E. and Vieu, L. (2007)
  Solving bratman’s video game puzzle in two formalisms
  The University of the Basque Country Press, Donostia (Spain), 2007
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Trypuz, R., Lorini, E. and Vieu, L. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#citta

• Donostia (Spain) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

• Arrazola, X. and Larrazabal, J. M., editors pages 411–426 (literal)

Titolo

• Solving bratman’s video game puzzle in two formalisms (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#inCollana

• International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07) (literal)

Prodotto di

• Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende (ICT.P08.007.001) (Modulo)
• Istituto di scienze e tecnologie della cognizione (ISTC) (Istituto)

Autore CNR

• LAURE RENEE VIEU (Persona)

Incoming links:

Prodotto

• Istituto di scienze e tecnologie della cognizione (ISTC) (Istituto)
• Ontologia di riferimento per l'integrazione di servizi e organizzazioni nella Pubblica Amministrazione e nelle Aziende (ICT.P08.007.001) (Modulo)

Autore CNR di

• LAURE RENEE VIEU (Persona)