A Logic Assistant for the Database Searcher. Heine, M H Information Processing and Management, 24:323–329, 1988. Series Number: 3
bibtex   
@article{Heine:88,
	title = {A {Logic} {Assistant} for the {Database} {Searcher}},
	volume = {24},
	journal = {Information Processing and Management},
	author = {Heine, M H},
	year = {1988},
	note = {Series Number: 3},
	pages = {323--329},
}

Downloads: 0