Maria José Bonet

URI: https://gptkb.org/entity/Maria_José_Bonet

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:person
gptkbp:almaMater	gptkb:University_of_Barcelona
gptkbp:birthYear	1959
gptkbp:doctoralAdvisor	Miguel Ángel Mota
gptkbp:employer	gptkb:Universitat_Politècnica_de_Catalunya
gptkbp:field	gptkb:logic proof complexity
gptkbp:gender	gptkb:female
gptkbp:nationality	gptkb:Spanish
gptkbp:occupation	gptkb:logic gptkb:mathematician
gptkbp:bfsParent	gptkb:Joaquim_Blume
gptkbp:bfsLayer	7
http://www.w3.org/2000/01/rdf-schema#label	Maria José Bonet