Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Villanueva, Alicia.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Logic-based program synthesis and transformation32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings / by: (1998 :); SpringerLink (Online service); Villanueva, Alicia. (Electronic resources)

Subjects

Logic programming Computer software Computer logic Computer Science Logic and Foundations of Programming.

Change password

Login