Rule-based deduction and views in Mathematica

Research output: Working paper and reports › Research report

Name	SFB F013 Reports
No.	2003-43

Fields of science

@techreport{23171c3f3c944688916b576a49f268ac,

title = "Rule-based deduction and views in Mathematica",

author = "Mircea Marin and Florina Piroi",

year = "2003",

month = oct,

language = "English",

series = "SFB F013 Reports",

publisher = "RISC JKU",

number = "2003-43",

type = "WorkingPaper",

institution = "RISC JKU",

}