Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Automating Squiggol

Automating Squiggol

Ursula Martin and Tobias Nipkow

Institution
University of Cambridge‚ Computer Laboratory
Year
1989

Links

See Also

Back to Top