Prädikatenlogik-Programme mit evaluierbaren Funktionen.
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | Almanca |
| Baskı/Yayın Bilgisi: |
Kaiserslautern
FB Informatik
1978
|
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 3070681 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Winterstein, Georg | |
| 245 | 1 | 0 | |a Prädikatenlogik-Programme mit evaluierbaren Funktionen. |
| 246 | 3 | |a Winterstein, Georg | |
| 264 | 1 | |a Kaiserslautern |b FB Informatik |c 1978 | |
| 300 | |a 165 S. |c 8° | ||
| 500 | |a Winterstein, Georg -- Prädikatenlogik-Programme mit evaluier- -- baren Funktionen. -- 1978. 165 S. 8° -- Kaiserslautern, FB Informatik, Diss. v. -- 1978 | ||
| 852 | |c D 164,302 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: PrädikatenlogikProgramme mit evaluierbaren Funktionen.1978. 165 S. 8Kaiserslautern, FB Informatik, Diss. v.1978 |a author: Winterstein, Georg |a published: 1978 | ||