Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 209,973,104 papers from all fields of science
Search
Sign In
Create Free Account
Prova
Prova is an open source programming language that combines Prolog with Java.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Declarative programming
GoPubMed
HTML
Imperative programming
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
MICHEL ROCHEFORT E O INSTITUTO BRASILEIRO DE GEOGRAFIA E ESTATÍSTICA NA DÉCADA DE 1960
P. Bomfim
2015
Corpus ID: 148459248
French geographer, Michael Rochefort (1927-2015), built his career as an important name in the planning of his country. Part of…
Expand
2013
2013
Prevalência da doenca pulmonar obstrutiva crónica em Lisboa, Portugal: estudo Burden of Obstructive Lung Disease
Cristina Bárbara
,
F. Rodrigues
,
+9 authors
Peter Burney
2013
Corpus ID: 196408388
Highly Cited
2010
Highly Cited
2010
RuleML 1.0: The Overarching Specification of Web Rules
H. Boley
,
A. Paschke
,
M. O. Shafiq
International Web Rule Symposium
2010
Corpus ID: 11967483
RuleML is a family of languages, whose modular system of XML schemas permits high-precision Web rule interchange. The family's…
Expand
Highly Cited
2009
Highly Cited
2009
Effect of anisotropy on Fatigue properties of AA2198 Al-Li plates joined by Friction Stir Welding
P. Cavaliere
,
A. Santis
2009
Corpus ID: 55140747
Highly Cited
2008
Highly Cited
2008
The edge of evolution: the search for the limits of darwinism
G. Ávila
2008
Corpus ID: 85953488
When Michael J. Behe's first book, "Darwin's Black Box, " was published in 1996, it launched the intelligent design movement…
Expand
2007
2007
Protein fining agents : Characterization and red wine fining assays
F. Cosme
,
J. Ricardo-da-Silva
,
O. Laureano
2007
Corpus ID: 89193047
The physico-chemical characteristics of protein fining agents are important for optimizing the fining treatment which affects…
Expand
Highly Cited
2003
Highly Cited
2003
Motivação do aprendiz de medicina: uso da escala de motivação acadêmica
D. T. Sobral
2003
Corpus ID: 144356547
251 O autor registra o apoio institucional, agradece a participacao ativa e o interesse real dos aprendizes envolvidos e expressa…
Expand
Highly Cited
2002
Highly Cited
2002
Meat quality of three chicken genotypes reared according to the organic system
C. Castellini
,
C. Mugnai
,
A. Bosco
2002
Corpus ID: 54820177
The meat quality of three poultry genotypes with differing growth rates (fast-growing Ross; medium and slow growing Kabir and…
Expand
Highly Cited
2000
Highly Cited
2000
On an Intuitionistic Modal Logic
G. Bierman
,
Valeria C V de Paiva
Studia Logica: An International Journal for…
2000
Corpus ID: 9279684
In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that…
Expand
1998
1998
Demanda infantil por servios de sade mental: sinal de crise
Maria Lucia Boarini
,
Roselânia Francisconi Borges
1998
Corpus ID: 141171158
This study is a result of the reflection on the historical meaning of the high juvenile claim on mental health care in public…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE