PDS -- A Three-Dimensional Data Structure for Proof Plans. Cheikhrouhou, L. & Sorge, V. In Proceedings of the International Conference on Artificial and Computational Intelligence (ACIDCA'2000), Monastir, Tunisia, March, 2000. bibtex @INPROCEEDINGS{cheikhrouhou2000,
author = {Cheikhrouhou, Lassaad and Sorge, Volker},
title = {{PDS -- A Three-Dimensional Data Structure for Proof Plans}},
booktitle = {Proceedings of the International Conference on Artificial and Computational
Intelligence (ACIDCA'2000)},
year = {2000},
address = {Monastir, Tunisia},
month = mar,
keywords = {\#proof},
mendeley-tags = {\#untagged}
}
Downloads: 0
{"_id":{"_str":"51f8942d59ced8df44002029"},"__v":25,"authorIDs":["5469333cbc7d6a460d001202"],"author_short":["Cheikhrouhou, L.","Sorge, V."],"bibbaseid":"cheikhrouhou-sorge-pdsathreedimensionaldatastructureforproofplans-2000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Cheikhrouhou"],"firstnames":["Lassaad"],"suffixes":[]},{"propositions":[],"lastnames":["Sorge"],"firstnames":["Volker"],"suffixes":[]}],"title":"PDS -- A Three-Dimensional Data Structure for Proof Plans","booktitle":"Proceedings of the International Conference on Artificial and Computational Intelligence (ACIDCA'2000)","year":"2000","address":"Monastir, Tunisia","month":"March","keywords":"#proof","mendeley-tags":"#untagged","bibtex":"@INPROCEEDINGS{cheikhrouhou2000,\r\n author = {Cheikhrouhou, Lassaad and Sorge, Volker},\r\n title = {{PDS -- A Three-Dimensional Data Structure for Proof Plans}},\r\n booktitle = {Proceedings of the International Conference on Artificial and Computational\r\n\tIntelligence (ACIDCA'2000)},\r\n year = {2000},\r\n address = {Monastir, Tunisia},\r\n month = mar,\r\n keywords = {\\#proof},\r\n mendeley-tags = {\\#untagged}\r\n}\r\n\r\n","author_short":["Cheikhrouhou, L.","Sorge, V."],"key":"cheikhrouhou2000","id":"cheikhrouhou2000","bibbaseid":"cheikhrouhou-sorge-pdsathreedimensionaldatastructureforproofplans-2000","role":"author","urls":{},"keyword":["#proof"],"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://delicias.dia.fi.upm.es/prov-xgCURATED.bib","downloads":0,"keywords":["#proof"],"search_terms":["pds","three","dimensional","data","structure","proof","plans","cheikhrouhou","sorge"],"title":"PDS -- A Three-Dimensional Data Structure for Proof Plans","title_words":["pds","three","dimensional","data","structure","proof","plans"],"year":2000,"dataSources":["drTBSwRdnSo2Wujnd"]}