%0 Conference Paper %1 conf/jelia/AguileraGO94 %A Aguilera, Gabriel %A de Guzmán, Inman P. %A Ojeda-Aciego, Manuel %B JELIA %D 1994 %E MacNish, Craig %E Pearce, David %E Pereira, Luís Moniz %I Springer %K dblp %P 198-216 %T TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving. %U http://dblp.uni-trier.de/db/conf/jelia/jelia94.html#AguileraGO94 %V 838 %@ 3-540-58332-7

@inproceedings{conf/jelia/AguileraGO94, added-at = {2023-05-26T00:00:00.000+0200}, author = {Aguilera, Gabriel and de Guzmán, Inman P. and Ojeda-Aciego, Manuel}, biburl = {https://www.bibsonomy.org/bibtex/27f6ba946ab09ca98196dc69e538ec9c5/dblp}, booktitle = {JELIA}, crossref = {conf/jelia/1994}, editor = {MacNish, Craig and Pearce, David and Pereira, Luís Moniz}, ee = {https://doi.org/10.1007/BFb0021973}, interhash = {a5ae3ceeabe0fb29931b21466e4b12f3}, intrahash = {7f6ba946ab09ca98196dc69e538ec9c5}, isbn = {3-540-58332-7}, keywords = {dblp}, pages = {198-216}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:22:10.000+0200}, title = {TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/jelia/jelia94.html#AguileraGO94}, volume = 838, year = 1994 }