Language:
English
繁體中文
Help
Login
Languages
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Tinelli, C.
Overview
Works:
0 works in 1 publications in 1 languages
Titles
Automated deduction - CADE 29 = 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023 : proceedings /
by: Tinelli, C.; SpringerLink (Online service); Pientka, Brigitte.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Subjects
Artificial Intelligence.
Automatic theorem proving
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
Logic, Symbolic and mathematical
Software Engineering.
Processing
...
Change password
Login
