Prädikatenlogik-Programme mit evaluierbaren Funktionen.
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Tiamana |
| I whakaputaina: |
Kaiserslautern
FB Informatik
1978
|
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Whakaahutanga tūemi: | Winterstein, Georg -- Prädikatenlogik-Programme mit evaluier- -- baren Funktionen. -- 1978. 165 S. 8° -- Kaiserslautern, FB Informatik, Diss. v. -- 1978 |
|---|---|
| Whakaahuatanga ōkiko: | 165 S. 8° |