Search results

  • Computational Logic, Inc.
    Computational Logic, Inc.
    (512) 322-9951
    1717 W 6th St Ste 290, 78703-4789  Austin

    81 . Quantification in Nqthm: a Recognizer and Some Constructive Implementations , Matthew Kaufmann. August, 1992. 24 pages. We present an implementation of a recognizer for quantified notions in the Boyer-Moore Theorem Prover, Nqthm. That is, we provide a method for checking that a given function …

  • MUQ.ORG
    MUQ.ORG
    831.722.9283
    4604 Eilers Ave, 78751-3219  Austin

    If you are a virtual world builder and are sick of trying to do real work with toy tools, Muq may be what you've been looking for. Muq is animated (among other things) by a desire to construct secure, cooperative, democratic, egalitarian, distributed online communities based on free software and us…

  • All Is Well cartoons
    All Is Well cartoons
    512.478.9965
    916 W 12th St, 78703-4118  Austin

    All Is Well cartoons and the corporate home page for Alliswellcomeonandgetitcomicscongolomerate

  • Technonics, Inc
    Technonics, Inc
    512.970.2788
    PO Box 81573, 78708-1573  Austin

    Technonics Incorporated P.O. Box 81573 Austin, TX 78708 Phone: 001-512-970-2788 Contact Us Technonics, Incorporated started as a small privately-held training company in 1995 to fulfill the lack of advanced technical consulting and training for the AIX Operating System and PowerPC Microprocessors. …