Persons tagged with «first order logic»person-tagstag:www.hf.uio.no,2010-02-02:tags:/www.hf.uio.no2024-03-29T12:12:58.728Ztag:www.hf.uio.no,2010-11-04:https://www.mn.uio.no/ifi/english/people/aca/martingi/index.html2010-11-04T12:54:37.000ZMartin Giese2010-11-04T12:54:37.000Z