Logic and Its Applications - 9783662540688

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India,...

Ouhammou - Model and Data Engineering 7th International Conference - X555z

Krivine - Reversible Computation 7th International Conference RC 20 - X555z

Melham - Higher Order Logic Theorem Proving and Its Applications 7th - X555z

Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, Ma

Ramanujam - Logic and Its Applications Third Indian Conference ICLA - X555z