Logic Language Information and Computation 23rd International Wor

Logic, Language, Information, and Computation - 9783662529201

Gupta - Logic-Based Program Synthesis and Transformation 23rd Intern - X555z

Chao - Algorithms and Computation 23rd International Symposium ISAA - X555z

Kohlenbach - Logic Language Information and Computation 21st Inte - X555z

Libkin - Logic Language Information and Computation 20th Internat - X555z

de Paiva - Logic Language Information and Computation 22nd Intern - X555z

Logic, Language, Information, and Computation: by Agata Ciabattoni PAPERBACK