%0 Conference Paper %1 conf/caia/BirminghamK85 %A Birmingham, William P. %A Kim, J. H. %B CAIA %D 1985 %E Weisbin, Charles R. %I IEEE Computer Society / North-Holland %K dblp %P 264-268 %T DAS/LogicTM: A Rule-Based Logic Design Assistant. %U http://dblp.uni-trier.de/db/conf/caia/caia1985.html#BirminghamK85

@inproceedings{conf/caia/BirminghamK85, added-at = {2006-05-30T00:00:00.000+0200}, author = {Birmingham, William P. and Kim, J. H.}, biburl = {https://www.bibsonomy.org/bibtex/20f5a593494d6cc4ac7724c41c7d77f9b/dblp}, booktitle = {CAIA}, crossref = {conf/caia/1985}, date = {2006-05-30}, description = {dblp}, editor = {Weisbin, Charles R.}, interhash = {1efd6cf2910db67afc87cc9882b53061}, intrahash = {0f5a593494d6cc4ac7724c41c7d77f9b}, keywords = {dblp}, pages = {264-268}, publisher = {IEEE Computer Society / North-Holland}, timestamp = {2006-05-30T00:00:00.000+0200}, title = {DAS/LogicTM: A Rule-Based Logic Design Assistant.}, url = {http://dblp.uni-trier.de/db/conf/caia/caia1985.html#BirminghamK85}, year = 1985 }