Results 1 to 3 of 3
Sort by:

  • OTTER
  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...

  • SETL
  • Referenced in 26 articles [sw36325]
  • Programming with sets. An introduction to SETL. of...