Mario Lenz

ML

5

Publications

201

Citations

5

H-Index

1996

Active since

Affiliations

Mario Lenz is an author at Humboldt-Universität zu Berlin specializing in automated reasoning, engineering, and semantics.

Publications per year

1996–1998

5

Publications

5