%0 Conference Paper %1 conf/pdk/BalbianiHM91 %A Balbiani, Philippe %A Herzig, Andreas %A Lima-Marques, Mamede %B PDK %D 1991 %E Boley, Harold %E Richter, Michael M. %I Springer %K dblp %P 366-382 %T TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. %U http://dblp.uni-trier.de/db/conf/pdk/pdk91.html#BalbianiHM91 %V 567 %@ 3-540-55033-X

@inproceedings{conf/pdk/BalbianiHM91, added-at = {2021-09-23T00:00:00.000+0200}, author = {Balbiani, Philippe and Herzig, Andreas and Lima-Marques, Mamede}, biburl = {https://www.bibsonomy.org/bibtex/2d2348296e9b0cf52ad4d46727645c722/dblp}, booktitle = {PDK}, crossref = {conf/pdk/1991}, editor = {Boley, Harold and Richter, Michael M.}, ee = {https://doi.org/10.1007/BFb0013544}, interhash = {6d20de6b5e19b07f14d4263f075b7502}, intrahash = {d2348296e9b0cf52ad4d46727645c722}, isbn = {3-540-55033-X}, keywords = {dblp}, pages = {366-382}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:59:09.000+0200}, title = {TIM: The Toulouse Inference Machine for Non-Classical Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/pdk/pdk91.html#BalbianiHM91}, volume = 567, year = 1991 }