Difference between revisions of "User Guide"

From BP Wiki
Jump to: navigation, search
Line 10: Line 10:
 
*Using BPJ for hybrid fuzzy control with BFUZ (To be added).
 
*Using BPJ for hybrid fuzzy control with BFUZ (To be added).
 
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]
 
*[[Z3BP|Working with Z3 Theorem Prover / SMT Solver]]
 
 
 
<accesscontrol>Administrators,IT:Department,Sales (ro)</accesscontrol>
 

Revision as of 13:59, 1 April 2014

BPJ User Guide  
Contents: