Language: English

圖資館首頁

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Gluck, R.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Logic-based program synthesis and transformation33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings / by: (1998 :); Gluck, R.; Kafle, Bishoksan.; SpringerLink (Online service) (Electronic resources)

Subjects

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

Change password

Login