Custom cover image
Custom cover image

Computation and reasoning : a type theory for computer science / Zhaohui Luo

By: Resource type: Ressourcentyp: BuchBookLanguage: English Series: Oxford science publications | International series of monographs on computer science ; 11Publisher: Oxford : Clarendon Press, 1994Description: XI, 228 SISBN:
  • 0198538359
Subject(s): Genre/Form: MSC: MSC: *68T27 | 68-01 | 68T01RVK: RVK: ST 140 | ST 130LOC classification:
  • QA76
Contents:
Action note:
  • 3
PPN: PPN: 274875802
Holdings
Item type Home library Shelving location Call number Status Date due Barcode Item holds
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Inf. / Luo Available 36340581090
Total holds: 0

Bibliography: p211-220. - Includes index

Archivierung prüfen 20200919 DE-640 3 pdager

Powered by Koha