Application of Mathematical Logic in Modern Design

Jie Tang, Xing Ji. Application of Mathematical Logic in Modern Design. In Pei-Luen Patrick Rau, editor, Cross-Cultural Design - 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II. Volume 14023 of Lecture Notes in Computer Science, pages 252-259, Springer, 2023. [doi]

@inproceedings{TangJ23-2,
  title = {Application of Mathematical Logic in Modern Design},
  author = {Jie Tang and Xing Ji},
  year = {2023},
  doi = {10.1007/978-3-031-35939-2_19},
  url = {https://doi.org/10.1007/978-3-031-35939-2_19},
  researchr = {https://researchr.org/publication/TangJ23-2},
  cites = {0},
  citedby = {0},
  pages = {252-259},
  booktitle = {Cross-Cultural Design - 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II},
  editor = {Pei-Luen Patrick Rau},
  volume = {14023},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-031-35939-2},
}