The sequence provers in theorema

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Joint AISC'02 - Calculemus '02 conference, Marseille
Publisher	Seki-Report Series Nr. SR-02-04, Calculemus 2002
Pages	71-73
Number of pages	3
Publication status	Published - Jul 2002

Name	Seki-Report Series
ISSN (Print)	1427-4447

Fields of science

@inproceedings{8a115fa02710496ca868e34f1dafb81f,

title = "The sequence provers in theorema",

author = "Adrian Craciun",

year = "2002",

month = jul,

language = "English",

series = "Seki-Report Series",

publisher = "Seki-Report Series Nr. SR-02-04, Calculemus 2002",

pages = "71--73",

booktitle = "Joint AISC'02 - Calculemus '02 conference, Marseille",

}