%0 Journal Article %1 journals/endm/BarequetS15 %A Barequet, Gill %A Shalah, Mira %D 2015 %J Electron. Notes Discret. Math. %K dblp %P 145-151 %T Automatic Proofs for Formulae Enumerating Proper Polycubes. %U http://dblp.uni-trier.de/db/journals/endm/endm49.html#BarequetS15 %V 49

@article{journals/endm/BarequetS15, added-at = {2023-08-28T00:00:00.000+0200}, author = {Barequet, Gill and Shalah, Mira}, biburl = {https://www.bibsonomy.org/bibtex/28c0cf363e3a0b64c91d88f9c8b421947/dblp}, ee = {https://www.wikidata.org/entity/Q113875307}, interhash = {472242e8ba1308aa0d4deda3e0f91fef}, intrahash = {8c0cf363e3a0b64c91d88f9c8b421947}, journal = {Electron. Notes Discret. Math.}, keywords = {dblp}, pages = {145-151}, timestamp = {2024-04-08T10:01:55.000+0200}, title = {Automatic Proofs for Formulae Enumerating Proper Polycubes.}, url = {http://dblp.uni-trier.de/db/journals/endm/endm49.html#BarequetS15}, volume = 49, year = 2015 }