Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Barbosa, Haniel.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Formal methods = foundations and applications : 26th Brazilian symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023 : proceedings / by: Brazilian Symposium on Formal Methods (2023 :); Barbosa, Haniel.; Zohar, Yoni.; SpringerLink (Online service) (Electronic resources)

Subjects

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

Change password

Login