Bearbmagovva

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

Čájet eará veršuvnnaid (2)

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. .

Furkejuvvon:
Bibliográfalaš dieđut
Searvvušdahkki: SpringerLink (Online service)
Eará dahkkit: Pientka, Brigitte (Doaimmaheaddji), Tinelli, Cesare (Doaimmaheaddji)
Materiálatiipa: Elektrovnnalaš E-girji
Giella:eaŋgalasgiella
Almmustuhtton: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Preanttus:1st ed. 2023.
Ráidu:Lecture Notes in Artificial Intelligence, 14132
Fáttát:
Artificial intelligence.
Machine theory.
Computer science.
Software engineering.
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Liŋkkat:Link to Metadata
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
Govvádus
Čoahkkáigeassu:This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. .
Olgguldas hápmi:XXV, 592 p. 85 illus., 32 illus. in color. online resource.
ISBN:9783031384998
ISSN:2945-9141 ;
DOI:10.1007/978-3-031-38499-8
Beassan:Open Access

Geahča maid