|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 5 gevonden artikelen
| Titel: |
A simple type theory with partial functions and subtypes 1 1 Supported by the MITRE-Sponsored Research program. Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991. |
| Auteur: |
Farmer, William M. |
| Verschenen in: |
Annals of pure and applied logic |
| Paginering: | Jaargang 64 (1993) nr. 3 pagina's 30 p. |
| Jaar: |
1993 |
| Inhoud: | |
| Uitgever: |
Published by Elsevier B.V. |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 5 gevonden artikelen
| volgende >> |