ARTICLES

Filter  
Active filters 0
Remove
  

Refine your searches by:

Collections
Social Sciences
Education
Literature
Research
Technology
Public health
Economy
History
Philosophy
Religion
all records (75)

Languages
English
Spanish
Portuguese
German
French

Countries
USA
Brazil
Spain
Colombia
Indonesia
Cuba
Canada
South Africa
Mexico
Ecuador
all records (81)

Years
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
all records (24)

Filter  
 
26.156  Articles
1 of 2.617 pages  |  10  records  |  more records»
Background: Studies have examined the individual-level and household predictors of women’s labour force participation in Nigeria, this study went further to examine the community-level determinants of non-participation in labour force among women of repro... see more

The Abella interactive theorem prover is based on an intuitionistic logic that allows for inductive and co-inductive reasoning over relations. Abella supports the ?-tree approach to treating syntax containing binders: it allows simply typed ?-terms to be ... see more

The Abella interactive theorem prover is based on an intuitionistic logic that allows for inductive and co-inductive reasoning over relations. Abella supports the ?-tree approach to treating syntax containing binders: it allows simply typed ?-terms to be ... see more

El objetivo general de la investigación consistió en analizar los insectos y el uso como materia prima en la industria alimentaria y no alimentaria. El tipo de investigación del presente trabajo correspondió a una investigación descriptiva simple, la cual... see more

For n=1n\geq 1, let CnC_n denote a cyclic group of order nn. Let G=Cn?CmnG=C_n\oplus C_{mn} with n=2n\geq 2 and m=1m\geq 1, and let k?[0,n-1]k\in [0,n-1]. It is known that any sequence of mn+n-1+kmn+n-1+k terms from GG must contain a nontrivial zero-sum o... see more

1 of 2.617 pages  |  10  records  |  more records»