• 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...