Titel im Semesterapparat für Introduction to Computational Logic
- Semester: Summer Term 2024
- Abteilung: Informatik
- Kursnr.: 149467
- Dozenten:
- Gert Smolka
- Hinweise: Link to course reserves including electronic media
| Titel | Verfasser | Medientyp | Standort | Sammlung | Signatur | Exemplarnummer | Status | Fälligkeitsdatum | Hinweise | Link | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Term rewriting and all that | Baader, Franz | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | BAA f 1999:1 1.Ex | Nicht ausleihbar | Titel-URL | ||||
| Handbook of automated reasoning 2 | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | ROB a2 2001:2 1.Ex | Nicht ausleihbar | Titel-URL | |||||
| Basic proof theory | Troelstra, Anne Sjerp (Ltg.) | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | TRO a 2003:1 1.Ex | Nicht ausleihbar | |||||
| An introduction to mathematical logic and type theory to truth through proof | Andrews, Peter B. | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | AND p 2002:1 1.Ex | Nicht ausleihbar | Titel-URL | ||||
| Interactive theorem proving and program development Coq'Art: the calculus of inductive constructions | Bertot, Yves | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | BER y 2004:1 1.Ex | Nicht ausleihbar | Titel-URL | ||||
| Logic, induction and sets | Forster, Thomas | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | FOR th 2003:1 1.Ex | Nicht ausleihbar | Titel-URL | ||||
| Proofs and types | Girard, Jean-Yves | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | GIR j 1993:1 1.Ex | Nicht ausleihbar | |||||
| Lambda-calculus and combinators an introduction | Hindley, James Roger | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | HIN j 2008:1 1.Ex | Nicht ausleihbar | Titel-URL | ||||
| Homotopy type theory univalent foundations of mathematics | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | UFM n 2013:1 1.Ex | Nicht ausleihbar | ||||||
| Computation and reasoning a type theory for computer science | Luo, Zhaohui | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | LUO z 2002:1 1.Ex | Nicht ausleihbar | |||||
| Natural deduction a proof-theoretical study | Prawitz, Dag | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | PRA d3 2006:1 1.Ex | Nicht ausleihbar | |||||
| Lectures on the Curry-Howard isomorphism | Sørensen, Morten Heine | Semesterapparat (Buch) | Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) Course Reference (GF) |
Campusbibliothek für Informatik und Mathematik (E2 3) | SOR m 2006:1 1.Ex | Nicht ausleihbar | Titel-URL |
