About: Valeria de Paiva

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Valeria de Paiva Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Species, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdf:type	Thing foaf:Person person schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 dul:NaturalPerson animal eukaryote species
rdfs:label	Valeria de Paiva (fr) Valeria de Paiva (ca) Valeria de Paiva (en) Valeria de Paiva (es) Valeria de Paiva (vi)
rdfs:comment	Valeria Correa Vaz de Paiva est une mathématicienne, logicienne et informaticienne brésilienne. Ses travaux de recherche comprennent des approches logiques du calcul, en particulier en utilisant la théorie des catégories, la représentation des connaissances, la sémantique du langage naturel, et la programmation fonctionnelle avec un accent sur les fondements et la théorie des types. (fr)
rdfs:seeAlso	https://github.com/vcvpaiva http://isni.org/isni/0000_0000_4287_1622 http://philpapers.org/profile/valeria-de-paiva https://ncatlab.org/nlab/show/Valeria_de_Paiva https://twitter.com/valeriadepaiva https://www.facebook.com/valeriadepaiva https://www.scopus.com/authid/detail.url?authorId=6603620349 https://www.semanticscholar.org/author/143893075 https://www.semanticscholar.org/author/2242327 https://zbmath.org/authors/?q=ai:de-paiva.valeria http://genealogy.math.ndsu.nodak.edu/id.php?id=49840 https://scholar.google.com/citations?user=AYdo1hMAAAAJ
sameAs	Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva Valeria de Paiva
birth place	dbpedia-fr:Brésil
Wikipage page ID	14002772 (xsd:integer)
Wikipage revision ID	188323869 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Logicien category-fr:Mathématicienne_brésilienne category-fr:Mathématicienne_du_XXIe_siècle category-fr:Mathématicienne_du_XXe_siècle category-fr:Personnalité_brésilienne_en_informatique category-fr:Personnalité_de_Samsung category-fr:Étudiant_de_l'université_de_Cambridge dbpedia-fr:Cuil Electronic Notes in Theoretical Computer Science Research fellow Computer scientist Journal of Logic and Computation dbpedia-fr:Langage_naturel dbpedia-fr:Logique dbpedia-fr:Logique_linéaire Nuance Communications Palo Alto, California PARC (company) dbpedia-fr:Programmation_fonctionnelle dbpedia-fr:Représentation_des_connaissances dbpedia-fr:Sémantique_des_langages_de_programmation dbpedia-fr:Théorie_des_catégories dbpedia-fr:Théorie_des_types dbpedia-fr:Union_internationale_d'histoire_et_de_philosophie_des_sciences_et_de_la_technologie University of Birmingham University of Cambridge Zentralblatt MATH Martin Hyland dbpedia-fr:Mathématicien
Link from a Wikipage to an external page	https://zbmath.org/authors/%3Fq=Valeria+de+Paiva https://www.ams.org/books/conm/092/
page length (characters) of wiki page	4093 (xsd:nonNegativeInteger)
dct:subject	category-fr:Logicien category-fr:Mathématicienne_brésilienne category-fr:Mathématicienne_du_XXIe_siècle category-fr:Mathématicienne_du_XXe_siècle category-fr:Personnalité_brésilienne_en_informatique category-fr:Personnalité_de_Samsung category-fr:Étudiant_de_l'université_de_Cambridge
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Bases dbpedia-fr:Modèle:Infobox_Biographie2 dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références
prov:wasDerivedFrom	wikipedia-fr:Valeria_de_Paiva?oldid=188323869&ns=0
prop-fr:année	2016 (xsd:integer) 2020 (xsd:integer)
prop-fr:date	1989 (xsd:integer)
prop-fr:doi	10 (xsd:double) 10 (xsd:double)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software