CIG meetingPerson/Speaker: Juan Carlos Acosta GuadarramaOn Monday, Juan will finally give his presentation of his recent work on Intuitionistic Dynamic Logic Programming. This talk should have taken place two weeks ago, but was allways postponed.-Juan Guadarrama-
© myboys.me/stock.adobe.com