6
Publications
155
Citations
6
H-Index
1983
Active since
Affiliations
Wies aw Dziobiak is an author at Polish Academy of Sciences specializing in automated reasoning, representation theory, and engineering.
Top concepts
Automated ReasoningRepresentation TheorySemanticsEngineeringFormal MethodsComputer ScienceFormal Verification
Publications per year
1983–2004
6
6
Rows per page
1–5 of 6