meny
søk
English

Fagområder

Vitenskapsdisipliner Logikk

Publikasjoner og forskningsresultater

Vitenskapelige publikasjoner (1)
Rognes, Andre (2009). Turning decision procedures into disprovers. Mathematical logic quarterly. Vol. 55. doi: 10.1002/malq.200710083

(Publikasjonslisten er hentet fra Cristin. Listen kan være ufullstendig)

Kontakt

Telefon (kontor): +47 67 23 71 39
Besøksadresse: Falbes gate 5, Oslo, FG339