Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Teodorov, Ciprian.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Formal methods = foundations and applications : 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Nogueira, Sidney C.; Teodorov, Ciprian. (Language materials, printed)

Subjects

Software Engineering. Theory of Computation. Logic in AI. Formal methods (Computer science) Natural Language Processing (NLP) Special Purpose and Application-Based Systems. Computer Communication Networks.

Change password

Login