Delwedd Flaen

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings /

Show other versions (2)

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awdur Corfforaethol: SpringerLink (Online service)
Awduron Eraill: Blanchette, Jasmin (Golygydd), Kovács, Laura (Golygydd), Pattinson, Dirk (Golygydd)
Fformat: Electronig eLyfr
Iaith:Saesneg
Cyhoeddwyd: Cham : Springer International Publishing : Imprint: Springer, 2022.
Rhifyn:1st ed. 2022.
Cyfres:Lecture Notes in Artificial Intelligence, 13385
Pynciau:
Machine theory.
Software engineering.
Computer engineering.
Computer networks .
Artificial intelligence.
Computer science.
Formal Languages and Automata Theory.
Software Engineering.
Computer Engineering and Networks.
Artificial Intelligence.
Computer Science Logic and Foundations of Programming.
Mynediad Ar-lein:Link to Metadata
Tagiau: Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
Show all versions (3)

Eitemau Tebyg