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

Bibliographic Item (1.0)

Vadaparty06
  1. Sirisha Vadaparty
  2. Semantic Tableaux Program
  3. CSUSB CSci Master Project 2006 [ 20060222SirishaVardaparty.txt ]
  4. =DEMO LOGIC PROOF TOOL TREE CASES LPC Java

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]