Language: English

圖資館首頁

Login

Languages

English (2)

Jump To : Overview | Titles | Subjects

Peltier, Nicolas.

Overview

Works:	1 works in 2 publications in 1 languages

Titles

Automated reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.Part II / by: (1998 :); Peltier, Nicolas.; Sofronie-Stokkermans, Viorica.; SpringerLink (Online service) (Electronic resources)

Automated reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.Part I / by: (1998 :); Peltier, Nicolas.; Sofronie-Stokkermans, Viorica.; SpringerLink (Online service) (Electronic resources)

Subjects

Mathematical Logic and Formal Languages. Software Engineering. Logics and Meanings of Programs. Automatic theorem proving Programming Techniques. Computer logic Programming Languages, Compilers, Interpreters. Artificial Intelligence.

Change password

Login