[newbie] comparing logical expressions

• Subject: [newbie] comparing logical expressions
• From: Marco Verpelli
• Date: Thu, 12 Dec 2013 21:21:20 +0100

If you really needed it can be found here:

http://cs.swan.ac.uk/~csoliver/ok-sat-library/OKplatform/ExternalSources/sources/Maxima/logic-mac-2.11.tar.bz2

Marco Verpelli

• Prev by Date: [Maxima-commits] [git] Maxima CAS branch, master, updated. branch-5_31-base-183-gf44d669
• Next by Date: [Maxima-commits] [git] Maxima CAS branch, master, updated. branch-5_31-base-183-gf44d669
• Previous by thread: [newbie] comparing logical expressions
• Next by thread: [newbie] comparing logical expressions
• Index(es):
  • Date
  • Thread