Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

• निगमित लेखक: SpringerLink (Online service)
• अन्य लेखक: Pientka, Brigitte (संपादक), Tinelli, Cesare (संपादक)
• स्वरूप: इलेक्ट्रोनिक ई-पुस्तक
• भाषा: अंग्रेज़ी
• प्रकाशित: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
• संस्करण: 1st ed. 2023.
• श्रृंखला: Lecture Notes in Artificial Intelligence, 14132
• विषय: Artificial intelligence.; Machine theory.; Computer science.; Software engineering.; Artificial Intelligence.; Formal Languages and Automata Theory.; Computer Science Logic and Foundations of Programming.; Software Engineering.
• ऑनलाइन पहुंच: Link to Metadata