A Set Theory Prover in Theorema

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

Original language	English
Title of host publication	Computer Aided Systems Theory - EUROCAST 2001
Editors	Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire
Publisher	Springer
Pages	525-539
Number of pages	15
ISBN (Print)	3-540-42959
Publication status	Published - Mar 2001

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

@inproceedings{93eb02c23ff045d488565fedf57bc7e5,

title = "A Set Theory Prover in Theorema",

author = "Wolfgang Windsteiger",

year = "2001",

month = mar,

language = "English",

isbn = "3-540-42959",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "525--539",

editor = "\{Roberto Moreno-Diaz, Bruno Buchberger, Jose-Luis Freire\}",

booktitle = "Computer Aided Systems Theory - EUROCAST 2001",

}