8179 search results - page 27 / 1636 » The PRACTIONIST Development Tool |
NAR
2008
13 years 9 months ago
2008
Understanding how genetic variation affects the molecular function of gene products is an emergent area of bioinformatic research. Here, we present updates to MutDB (http://www.mu...
ICSEA
2007
IEEE
14 years 3 months ago
2007
IEEE
The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools ...
IJET
2008
13 years 9 months ago
2008
The vast majority of knowledge management initiatives fail because they do not take sufficiently into account the emotional, psychological and social needs of individuals. Only if ...
ECIS
2000
13 years 10 months ago
2000
TACAS
2000
Springer
14 years 16 days ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...