%0 Conference Paper %1 conf/aciids/SniezynskiLWKNJ17 %A Sniezynski, Bartlomiej %A Legien, Grzegorz %A Wilk-Kolodziejczyk, Dorota %A Kluska-Nawarecka, Stanislawa %A Nawarecki, Edward %A Jaskowiec, Krzysztof %B ACIIDS (1) %D 2017 %E Nguyen, Ngoc Thanh %E Tojo, Satoshi %E Nguyen, Le Minh %E Trawinski, Bogdan %K dblp %P 400-409 %T Creative Expert System: Comparison of Proof Searching Strategies. %U http://dblp.uni-trier.de/db/conf/aciids/aciids2017-1.html#SniezynskiLWKNJ17 %V 10191 %@ 978-3-319-54471-7

@inproceedings{conf/aciids/SniezynskiLWKNJ17, added-at = {2022-10-02T00:00:00.000+0200}, author = {Sniezynski, Bartlomiej and Legien, Grzegorz and Wilk-Kolodziejczyk, Dorota and Kluska-Nawarecka, Stanislawa and Nawarecki, Edward and Jaskowiec, Krzysztof}, biburl = {https://www.bibsonomy.org/bibtex/23afc38528270a6da8c7af6b4a2fcbec3/dblp}, booktitle = {ACIIDS (1)}, crossref = {conf/aciids/2017-1}, editor = {Nguyen, Ngoc Thanh and Tojo, Satoshi and Nguyen, Le Minh and Trawinski, Bogdan}, ee = {https://doi.org/10.1007/978-3-319-54472-4_38}, interhash = {2e1777e90f22acbc7e5e8eaa86eaef7e}, intrahash = {3afc38528270a6da8c7af6b4a2fcbec3}, isbn = {978-3-319-54471-7}, keywords = {dblp}, pages = {400-409}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:58:40.000+0200}, title = {Creative Expert System: Comparison of Proof Searching Strategies.}, url = {http://dblp.uni-trier.de/db/conf/aciids/aciids2017-1.html#SniezynskiLWKNJ17}, volume = 10191, year = 2017 }