| W04-1701 | would be reliable enough for the | automatic checking | of answers . Again , the basic |
| W10-1008 | Prograder , a software package for | automatic checking | of requirements for programming |
| E85-1025 | are constructed by hand and no | automatic checking | procedure is attempted ( see |
| P10-4004 | userfriendly tool , which facilitates | automatic checking | of internal consistency and correctness |
| J00-3004 | mistakes , it counts as correct in | automatic checking | , but incorrect in manual checking |
| P03-2034 | Discussion We currently perform no | automatic checking | or correction of spelling and |
| W97-0308 | detailed as those in the first . Such | automatic checking | will be useful both in the case |
| P10-4004 | eliminated . 3 . GernEdiT facilitates | automatic checking | of internal consistency and correctness |
| P87-1027 | are constructed by hand and no | automatic checking | procedure is attempted ( l ~ |
| J87-3002 | are constructed by hand and no | automatic checking | procedure is attempted ( see |
| C92-2078 | multi-user access , has facilities for | automatic checking | of consistency and integrity |
