Search results

Create the page "Languages" on this wiki! See also the search results found.

• ADVANCE D3.2 General Platform Maintenance
  ...model. The IL1 model is then used to generate code for the various target languages that may have been implemented. We have also updated the IL1-to-target code
  20 KB (3,030 words) - 13:18, 18 July 2012
• D45 Prover Enhancement
  ...ying on technology developed independently and using different programming languages and paradigms) of validation for first-order predicates, which should prove
  21 KB (3,334 words) - 21:20, 20 April 2012
• D45 General Platform Maintenance
  ...e to create a visualization not requiring additional skills in programming languages.
  35 KB (5,228 words) - 10:12, 23 April 2012
• Help:Maths
  ...d it to [[commons:|Wikimedia Commons]], so that all projects (notably, all languages) can use it without having to copy it to their language's Wiki. (If you've
  65 KB (9,755 words) - 10:04, 5 September 2008
• User:Mathieu/popups.js
  'globalSearchHint': 'Search across Wikipedias in different languages for %s',
  267 KB (34,206 words) - 10:58, 24 June 2008
• User:Mathieu/popup.js
  'globalSearchHint': 'Search across Wikipedias in different languages for %s',
  281 KB (35,750 words) - 15:33, 31 October 2008

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)