Employing theory formation to guide proof planning

A Meier, Volker Sorge, S Colton, XX Calmet

Research output: Contribution to conference (unpublished) › Paper

9 Citations (Scopus)

Original language	English
Pages	275-289
Number of pages	15
Publication status	Published - 1 Jan 2002
Event	Joint International Conference, AISC 2002 and Calculemus July 1-5 2002 - Duration: 1 Jan 2002 → …

Conference	Joint International Conference, AISC 2002 and Calculemus July 1-5 2002
Period	1/01/02 → …

Cite this

@conference{e7678fb4629b4319a1a7589ee7d54f6a,

title = "Employing theory formation to guide proof planning",

author = "A Meier and Volker Sorge and S Colton and XX Calmet",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "275--289",

note = "Joint International Conference, AISC 2002 and Calculemus July 1-5 2002 ; Conference date: 01-01-2002",

}