Ann Lillieström
Visar 9 publikationer
Local forecasts of electrc vehicles for grid planning purposes
Handling Transitive Relations in First-Order Automated Reasoning
Inferring Morphological Rules from Small Examples using 0/1 Linear Programming
Handling common transitive relations in first-order automated reasoning
Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic
Automated Inference of Finite Unsatisfiability
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
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:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.