%0 Conference Paper %1 conf/csoc/PokornyS20 %A Pokorný, Pavel %A Sevcík, Daniel %B CSOC (1) %D 2020 %E Silhavy, Radek %I Springer %K dblp %P 341-351 %T An Application for Solving Truth Functions. %U http://dblp.uni-trier.de/db/conf/csoc/csoc2020-1.html#PokornyS20 %V 1224 %@ 978-3-030-51965-0

@inproceedings{conf/csoc/PokornyS20, added-at = {2021-04-28T00:00:00.000+0200}, author = {Pokorný, Pavel and Sevcík, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2d83edf59c2e0d4c82405cd237c3daf10/dblp}, booktitle = {CSOC (1)}, crossref = {conf/csoc/2020-1}, editor = {Silhavy, Radek}, ee = {https://doi.org/10.1007/978-3-030-51965-0_30}, interhash = {903657cdad5051c10c8cb88aaa304f48}, intrahash = {d83edf59c2e0d4c82405cd237c3daf10}, isbn = {978-3-030-51965-0}, keywords = {dblp}, pages = {341-351}, publisher = {Springer}, series = {Advances in Intelligent Systems and Computing}, timestamp = {2024-04-09T23:39:41.000+0200}, title = {An Application for Solving Truth Functions.}, url = {http://dblp.uni-trier.de/db/conf/csoc/csoc2020-1.html#PokornyS20}, volume = 1224, year = 2020 }