Gadi Pinkus. Constructing Proofs in Symmetric Networks. In John E. Moody, Stephen Jose Hanson, Richard Lippmann, editors, Advances in Neural Information Processing Systems 4, [NIPS Conference, Denver, Colorado, USA, December 2-5, 1991]. pages 217-224, Morgan Kaufmann, 1991. [doi]
@inproceedings{Pinkus91,
title = {Constructing Proofs in Symmetric Networks},
author = {Gadi Pinkus},
year = {1991},
url = {http://nips.djvuzone.org/djvu/nips04/0217.djvu},
researchr = {https://researchr.org/publication/Pinkus91},
cites = {0},
citedby = {0},
pages = {217-224},
booktitle = {Advances in Neural Information Processing Systems 4, [NIPS Conference, Denver, Colorado, USA, December 2-5, 1991]},
editor = {John E. Moody and Stephen Jose Hanson and Richard Lippmann},
publisher = {Morgan Kaufmann},
isbn = {1-55860-222-4},
}