Persons tagged with «first order logic»person-tagstag:www.mn.uio.no,2010-11-02:tags:/ifi/english/peoplewww.mn.uio.no2024-03-29T12:54:21.566Ztag:www.mn.uio.no,2010-11-04:/ifi/english/people/aca/martingi/index.htmlMartin Giese2010-11-04T12:54:37.000Z2024-03-29T12:54:21.566Z//www.mn.uio.no/ifi/personer/vit/martingi/martingi_col.jpg//www.mn.uio.no/ifi/personer/vit/martingi/martingi_col.jpg?vrtx=thumbnail