Terms for subject Information technology containing be

Dutch	English
automatisch bewijzen van theorema's	automatic deduction
automatisch bewijzen van theorema's	mechanical theorem proving
automatisch bewijzen van theorema's	theorem proving