Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

International Conference on Reachability Problems (2022 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Reachability problems = 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022 : proceedings / by: International Conference on Reachability Problems (2022 :); Lin, Anthony Widjaja.; Zetzsche, Georg.; Potapov, Igor.; SpringerLink (Online service) (Electronic resources)

Subjects

Software Engineering. Logic in AI. Mathematics of Computing. Computer systems- Verification Computer science- Mathematics Computer Science Logic and Foundations of Programming. Formal Languages and Automata Theory. Decidability (Mathematical logic) Design and Analysis of Algorithms.

Change password

Login