%0 Conference Paper %1 journals/entcs/Kiniry04 %A Kiniry, Joseph %B UITP@TPHOLs %D 2003 %E Aspinall, David %E Lüth, Christoph %I Elsevier %K dblp %P 81-103 %T Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments. %U http://dblp.uni-trier.de/db/journals/entcs/entcs103.html#Kiniry04 %V 103

@inproceedings{journals/entcs/Kiniry04, added-at = {2022-12-09T00:00:00.000+0100}, author = {Kiniry, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/2973da2f763760cda0f2d71e3dfdf657d/dblp}, booktitle = {UITP@TPHOLs}, crossref = {conf/uitp/2003}, editor = {Aspinall, David and Lüth, Christoph}, ee = {https://doi.org/10.1016/j.entcs.2004.09.015}, interhash = {df274033d865fa3d8b675cf07069fc5b}, intrahash = {973da2f763760cda0f2d71e3dfdf657d}, keywords = {dblp}, pages = {81-103}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T16:36:34.000+0200}, title = {Formalizing the User's Context to Support User Interfaces for Integrated Mathematical Environments.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs103.html#Kiniry04}, volume = 103, year = 2003 }