[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

FarmerMohrenschildt00

  1. William M. Farmer and Martin v. Mohrenschildt
  2. Transformers for Symbolic Computation and Formal Deduction
  3. Presented at a Workshop on the Role of Automated Deduction in Mathematics, CADE-17, Carnegie Mellon University, Pittsburgh, Pennsylvania, June 2000 [ transformers.pdf ]
  4. =IDEA LOGIC DEDUCTION COMPUTATION TERM TRANSFORMERS
  5. STTM::="von-Neumann-Bernays-Goedel set theory". This has terms and formulas. Terms may be undefined, but formulas are always defined and are either true or false.
  6. Transformers are total functions which may or may not preserve meaning or logistic properties like being (provably) true or false.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]