Ann Lillieström

Forskningsingenjör vid CSE Verksamhetsstöd

Kontaktuppgifter

Visar 6 publikationer

2019

Ann Lillieström, Koen Claessen, Nicholas Smallbone

22nd Nordic Conference on Computational Linguistics (NoDaLiDa), p. 164-174

Paper i proceeding

2019

Extending the Automated Reasoning Toolbox

Ann Lillieström

Doktorsavhandling

2016

Koen Lindström Claessen, Ann Lillieström

CEUR Workshop Proceedings. Vol. 1635, p. 11-23

Paper i proceeding

2015

Extending the Automated Reasoning Toolbox

Ann Lillieström

Licentiatavhandling

2011

Automated Inference of Finite Unsatisfiability

Koen Lindström Claessen, Ann Lillieström

Journal of Automated Reasoning. Vol. 47 (2), p. 111-132

Artikel i vetenskaplig tidskrift

2011

Koen Lindström Claessen, Ann Lillieström, Nicholas Smallbone

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), p. 207-221

Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Det finns inga projekt att visa.

Det kan finnas fler projekt där Ann Lillieström medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.