Managing mathematical workflows

Volker Sorge

Managing mathematical workflows

Computer Science

Research output: Contribution to conference (unpublished) › Abstract

Original language	English
Publication status	Published - 1 Jan 2006
Event	Proceedings of the 13th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, University of Bristol, UK, 3-4 April 2006 - Duration: 1 Jan 2006 → …

Conference

Conference	Proceedings of the 13th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, University of Bristol, UK, 3-4 April 2006
Period	1/01/06 → …

Cite this

@conference{32934b47cffd41af94de49097c4efbba,

title = "Managing mathematical workflows",

author = "Volker Sorge",

year = "2006",

month = jan,

day = "1",

language = "English",

note = "Proceedings of the 13th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, University of Bristol, UK, 3-4 April 2006 ; Conference date: 01-01-2006",

}