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

Bibliographic Item (1.0)

BowenHinchey96

  1. Jonathan P Bowen & Michael G Hinchey
  2. To Formalize or Not to Formalize
  3. IEEE Computer Magazine V29N4(Apr 1996}pp18-19
  4. =EXPERIENCE FORMAL MATHEMATICS
      too many misconceptions

      apply to get increased cofidence, to conuer complexity, to satisfy standards few tools

      not enough education and training(apply math to practical problems)



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]