%0 Conference Paper %1 conf/icci/NgB93 %A Ng, Frank %A Butler, Gregory %B ICCI %D 1993 %E Abou-Rabia, Osman %E Chang, Carl K. %E Koczkodaj, Waldemar W. %I IEEE Computer Society %K dblp %P 294-298 %T Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology. %U http://dblp.uni-trier.de/db/conf/icci/icci1993.html#NgB93 %@ 0-8186-4212-2

@inproceedings{conf/icci/NgB93, added-at = {2002-03-21T00:00:00.000+0100}, author = {Ng, Frank and Butler, Gregory}, biburl = {https://www.bibsonomy.org/bibtex/26370491aa419b864a56574ec0d3b99d6/dblp}, booktitle = {ICCI}, crossref = {conf/icci/1993}, date = {2002-03-21}, description = {dblp}, editor = {Abou-Rabia, Osman and Chang, Carl K. and Koczkodaj, Waldemar W.}, interhash = {4b278f185213ab602562c0f9a2c3b223}, intrahash = {6370491aa419b864a56574ec0d3b99d6}, isbn = {0-8186-4212-2}, keywords = {dblp}, pages = {294-298}, publisher = {IEEE Computer Society}, timestamp = {2002-03-21T00:00:00.000+0100}, title = {Specialised Theorem-Proving in an Intelligent Tutoring System for the Dijkstra-Gries Programming Methodology.}, url = {http://dblp.uni-trier.de/db/conf/icci/icci1993.html#NgB93}, year = 1993 }