Sebanyak 1 item atau buku ditemukan

Methods of Logic in Computer Science

Rules of this sort , called embedded implications , have been shown to be useful for hypothetical reasoning ( 29 ) , for legal reasoning ( 30 ) , for modular logic programming ( 27 ) , and for natural language processing ( 31 ] .