Alexander Leitsch, 1952-
Německý informatik, věnuje se programovým jazykům.
Saved in:
Authority Details
- Source
- Computational logic and proof theory (Ed. A.Leitsch)
- Document Type
- Others Information about persons
- Publikace
Institution:
National Authorities
| Destination | Accessibility | Link | Link source |
|---|---|---|---|
| Web | Link | National Authorities |
