Rule-based deduction and views in Mathematica

Publikation: Preprints, Working Paper und Forschungsberichte › Forschungsbericht

Name	SFB F013 Reports
Nr.	2003-43

Wissenschaftszweige

@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",

}