Tag: Stanford

• Memories: artificial intelligence at Stanford in the 70s (11 Jan 2023)
  
• Mike Gordon and hardware verification (04 Jan 2023)
  
• Proving termination with multiset orderings (26 Oct 2022)
  
• How Isabelle emerged from the trends of the 1980s (13 Jul 2022)
  
• The de Bruijn criterion vs the LCF architecture (05 Jan 2022)