Results 21 to 40 of 188
Sort by:

  • TPS
  • Referenced in 73 articles [sw00973]
  • TPS and ETPS are, respectively, the Theorem Proving...

  • APL
  • Referenced in 79 articles [sw01165]
  • APL (named after the book A Programming Language...

  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...

  • DYNAMO
  • Referenced in 261 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...

  • COBOL
  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...

  • SymbolicC++
  • Referenced in 31 articles [sw01428]
  • SymbolicC++ introduces, amongst others, the Symbolic class which...

  • GraphBase
  • Referenced in 135 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...

  • Smalltalk
  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...

  • DistAl
  • Referenced in 103 articles [sw01746]
  • DistAl: An inter-pattern distance-based constructive learning...

  • WordNet
  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...

  • ConGolog
  • Referenced in 49 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...

  • CASL
  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...

  • MINITAB
  • Referenced in 208 articles [sw02865]
  • Analyze your data and improve your products and...

  • AKIRA
  • Referenced in 10 articles [sw02968]
  • (Artificial Knowledge Interface for Reasoning Applications) Artificial Intelligence...

  • ELECTRE
  • Referenced in 129 articles [sw02971]
  • Electre Methods. Over the last three decades a...

  • NEURON
  • Referenced in 187 articles [sw03059]
  • Parallel network simulations with NEURON. The NEURON simulation...

  • CUDA
  • Referenced in 1325 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...

  • SeDuMi
  • Referenced in 1281 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...