Personer med emneord «First-Order Logic»person-tagstag:www.mn.uio.no,2010-08-19:tags:/www.mn.uio.no2024-03-29T07:52:29.686Ztag:www.mn.uio.no,2010-11-04:/ifi/english/people/aca/rantonse/index.htmlRoger Antonsen2010-11-04T12:45:34.000Z2024-03-29T07:52:29.686Z//www.mn.uio.no/ifi/personer/vit/rantonse/rantonse_2017_b_web.jpg//www.mn.uio.no/ifi/personer/vit/rantonse/rantonse_2017_b_web.jpg?vrtx=thumbnail