Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Prova

Prova is an open source programming language that combines Prolog with Java.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
RuleML is a family of languages, whose modular system of XML schemas permits high-precision Web rule interchange. The family's… Expand
  • figure 1
Is this relevant?
2009
2009
Al-Li alloys are characterized by a strong anisotropy in mechanical and microstructural properties with respect to the rolling… Expand
  • figure 1
  • figure 2
  • figure 3
  • table II
  • figure 4
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In 2003, the World Organization of National Colleges, Academies, and Academic Associations of General Practitioners/Family… Expand
Is this relevant?
Highly Cited
2008
Highly Cited
2008
When Michael J. Behe's first book, "Darwin's Black Box, " was published in 1996, it launched the intelligent design movement… Expand
Is this relevant?
2008
2008
Abstract The fracture toughness properties of duplex stainless steels (DSS) are strongly reduced by intermetallic phases… Expand
Is this relevant?
2005
2005
Summary This paper reports experimental results relative to the influence of pore fluid composition on liquid limit… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2003
2003
A reaction norm describes the phenotype of an individual as a function of the environment. A reaction norm model is useful for… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The meat quality of three poultry genotypes with differing growth rates (fast-growing Ross; medium and slow growing Kabir and… Expand
  • table 1
  • figure 1
  • table 2
  • table 3
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
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
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2000
2000
L'etude algorithmique des courbes hyperelliptiques est la suite naturelle de celle des courbes elliptiques qui est maintenant… Expand
Is this relevant?