💡Ny Ordreportal - Se aktuel status >>

ID-TR A theorem prover for UNITY in higher order logic

Ph.D. thesis

Af: Flemming Andersen
Kategori: Edbbøger
Kategori nr.: 7410
Varenr.: 1419228
| Stregkode: 9788789112084
Direkte | Leverandør: Diverse kreditorer (bibi)
Vælg format:
Hæftet
Lager status
  • IR Lager
  • IR Fysisk lager
  • Næste ankomstdato til IR's lager -
  • Butik bestilling
  • Resv. antal
  • Disp. lager

Detaljer
  • EAN
    9788789112084
  • Vægt
    0 g
  • Disponent
    Direkte titel
  • Forfatter
    Flemming Andersen
  • Forlag
    Instituttet for Datateknik, Danmarks Tekniske Universitet
  • Udgave
    0
  • ISBN
    8789112083
  • Sprog
    Engelsk
  • Orginalsprog
    Ukendt sprog
  • Sideantal
    176
  • Format
    Hæftet
  • Kategori
    Edbbøger
  • Kategori nr
    7410
  • Lev. varenr.
    99999999