The resolution calculus / Alexander Leitsch
Language: eng.Country: Germany.Publication: Berlin [etc.] : Springer, cop. 1997Description: VIII, 300 p. ; 24 cmISBN: 3-540-61882-1.Series: Texts in theoretical computer scienceSubject - Topical Name: Demonstração de teoremas| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca NOVA FCT Depósito 1 | Não Ficção | QA76.9.LEI FCT 46861 (Browse shelf(Opens below)) | 1 | Available | 0016032 |
Browsing Biblioteca NOVA FCT shelves, Shelving location: Depósito 1, Collection: Não Ficção Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| QA76.9.KRA FCT 21644 Principes des systhèmes d'exploitation des ordinateurs | QA76.9.KRA FCT 21645 Principes des systhèmes d'exploitation des ordinateurs | QA76.9.KUN FCT 60483 Fuzzy classifier design | QA76.9.LEI FCT 46861 The resolution calculus | QA76.9.LEI FCT 47258 Language equations | QA76.9.LEW FCT 21931 Computer science, a mathematical introduction | QA76.9.LIM FCT 18701 Alguns problemas do cálculo da energia de correlação dos átomos |
Adquirido DI
There are no comments on this title.
Log in to your account to post a comment.
