Persons tagged with «First-Order Logic»
person-tags
tag:www.mn.uio.no,2010-11-02:tags:/ifi/english/people
www.mn.uio.no
2024-03-29T11:48:24.230Z
tag:www.mn.uio.no,2010-11-04:/ifi/english/people/aca/rantonse/index.html
Roger Antonsen
2010-11-04T12:45:34.000Z
2024-03-29T11:48:24.231Z
//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