Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings /

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), a...

पूर्ण विवरण

ग्रंथसूची विवरण

निगमित लेखक:	SpringerLink (Online service)
अन्य लेखक:	Prevosto, Virgile (संपादक), Seceleanu, Cristina (संपादक)
स्वरूप:	इलेक्ट्रोनिक ई-पुस्तक
भाषा:	अंग्रेज़ी
प्रकाशित:	Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
संस्करण:	1st ed. 2023.
श्रृंखला:	Lecture Notes in Computer Science, 14066
विषय:	Reasoning. Computer science. Informal Logic. Models of Computation.
ऑनलाइन पहुंच:	https://doi.org/10.1007/978-3-031-38828-6
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!