| DaftarIsitemplate |
| Call Number |
| SEM-202 |
| Title |
| The complexity of verification,Hal 365-371 |
| Author |
| R.P.Kurshan; |
| Publisher |
| Proceedings of the twenty-sixth annual ACM symposium on the theory of computing Montreal,Quebec,Canada May 23-25,1994 |
| Subject |
| Location |