SHEEP (symbolic computation system): Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

3 August 2023

  • curprev 00:2100:21, 3 August 2023 imported>Josve05a 3,257 bytes +3,257 Reference edited with ProveIt #proveit | Alter: template type. Add: s2cid, bibcode, pages, issue, volume, journal, date, title, doi, authors 1-2. Changed bare reference to CS1/2. | Use this tool. Report bugs. | #UCB_Gadget
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=SHEEP_(symbolic_computation_system)"