Theorema: Computation and Deduction in Natural Style

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

Original language	English
Title of host publication	Computer Algebra Handbook
Editors	J. Grabmeier, E. Kaltofen, V. Weispfennig
Publisher	Springer 2003
Pages	453-454
Number of pages	2
ISBN (Print)	3-540-65466-6
Publication status	Published - 2003

Fields of science

@inbook{eb8db85d1c524f1abda3316d29b42988,

title = "Theorema: Computation and Deduction in Natural Style",

author = "Bruno Buchberger and Tudor Jebelean",

year = "2003",

language = "English",

isbn = "3-540-65466-6",

pages = "453--454",

editor = "\{J. Grabmeier, E. Kaltofen, V. Weispfennig\}",

booktitle = "Computer Algebra Handbook",

publisher = "Springer 2003",

}