Representations of the language recognition problem for a theorem prover Jack MinkerGordon J. VanderBrug OriginalPaper Pages: 217 - 250
Redundancy check technique for designing optimal networks by branch-and-bound method Hung Chi LaiTomoyasu NakagawaSaburo Muroga OriginalPaper Pages: 251 - 271