Mechanised foundations of proof calculi
In: https://dataportal.arc.gov.au/NCGP/API/grants, 2024-02-06
unknown
Zugriff:
Titel: |
Mechanised foundations of proof calculi
|
---|---|
Autor/in / Beteiligte Person: | A/Prof Rajeev Gore (Chief Investigator) ; Australian National University (isManagedBy) ; Australian Research Council (isFundedBy) ; Prof Dale Miller (Partner Investigator) ; The Australian National University (isManagedBy) |
Link: | |
Zeitschrift: | https://dataportal.arc.gov.au/NCGP/API/grants, 2024-02-06 |
Veröffentlichung: | 2024 |
Medientyp: | unknown |
Sonstiges: |
|