Differences between revisions 41 and 51 (spanning 10 versions)
⇤ ← Revision 41 as of 2003-10-08 21:49:22 →
Size: 1164
Editor: yakko
Comment:
← Revision 51 as of 2003-10-29 19:16:12 → ⇥
Size: 1333
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 13: Line 13:
   * GroundClause
Line 19: Line 20:
   * LogicalImplication (|= symbol)    * LogicalImplication (|= symbol and also |-)
Line 30: Line 31:
   * PowerSet
Line 35: Line 37:
   * SemanticsSyntaxSortsInLogic
   * SequenceNumber
   * SlidingWindowProtocol
Line 36: Line 41:
   * TransmissionControlProtocol (TCP)

ComputerTerms (last edited 2020-02-02 17:49:07 by scot)