A Discipline of Programming
The Theory of Parsing, Translation, and Compiling
The Theory of Parsing, Translation, and Compiling
Logic, Computers and Sets
Proving structured programs correct, level by level
Proceedings of the international conference on Reliable software
Proposed data structures for QL/Bn
ACM SIGPLAN Notices
Computer assisted reasoning with MIZAR
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |