Tytuł artykułu
Czasopismo
Rocznik
Identyfikatory
Uwagi
Special Issue on the 27th International Symposium on Logic-based
Program Synthesis and Transformation: LOPSTR 2017.
Special issue editors: Fabio Fioravanti, University of Chieti-Pescara, Pescara, Italy; John P. Gallagher, Roskilde University, Roskilde, Spain; Maurizio Proietti, IASI-CNR, Rome, Italy.
Program Synthesis and Transformation: LOPSTR 2017.
Special issue editors: Fabio Fioravanti, University of Chieti-Pescara, Pescara, Italy; John P. Gallagher, Roskilde University, Roskilde, Spain; Maurizio Proietti, IASI-CNR, Rome, Italy.
Zawartość wolumenu
-
Vol. 173, nr 4
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.