[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference rusure::math

Title:	Mathematics at DEC

Moderator:	RUSURE::EDP

Created:	Mon Feb 03 1986
Last Modified:	Fri Jun 06 1997
Last Successful Update:	Fri Jun 06 1997
Number of topics:	2083
Total number of notes:	14613

1407.0. "Boyer-Moore Theorm Prover Needed" by COOKIE::WALLACE (CXN1/4, D523-2793, TNSG/ING) Mon Apr 01 1991 04:41

    This *might* be the right place to ask; if not appologies for
    cluttering the note-space.
    
    I am looking a net-available copy of the Boyer-Moore Theorm Prover
    known as "NQTHM Version 1.0".
    
    If a site is known (either Easynet (DEC) or Internet) where NQTHM can
    be copied from please post a note or contact me directly.  Thanks.
    
    Richard

T.R Title User Personal
Name Date Lines

1407.1 location of boyer-moore nqthm COL01::BALZER Mon Apr 08 1991 09:09 13

T.R	Title	User	Personal Name	Date	Lines
1407.1	location of boyer-moore nqthm	COL01::BALZER		`Mon Apr 08 1991 09:09`	13
	The Boyer-Moore Theorem Prover NQTHM is located on decwrl::, in the directory /pub/plan/lisp/kcl/nqthm . It's a large tar-file and includes the installation guide and the examples mentioned in the book. What is the type of problems/theorems do you want to proof ? Happy computing, Hanns J Balzer

    
    The Boyer-Moore Theorem Prover NQTHM is located on decwrl::,
    
     in the directory /pub/plan/lisp/kcl/nqthm .
    It's a large tar-file and includes the installation guide and the
    examples mentioned in the book.
    
    What is the type of problems/theorems do you want to proof ?
    
     Happy computing,
    
     Hanns J Balzer