(2026). Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings. Springer Nature. https://doi.org/10.1007/978-3-032-06085-3
Citácia podle Chicago (17th ed.)Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings. Cham: Springer Nature, 2026. https://doi.org/10.1007/978-3-032-06085-3.
Citácia podľa MLA (8th ed.)Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings. Springer Nature, 2026. https://doi.org/10.1007/978-3-032-06085-3.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..