Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Studies in proof theory : Monographs : ...
Signatur: TCL4836-...
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Altenkirch, Thorsten
- Barwise, Jon
- Boolos, George
- Chang, Chin-Liang
- Char-Tung Lee, Richard
- Dowek, Gilles
- Geuvers, Herman
- Kohlenbach, Ulrich
- Paulin-Mohring, Christine
- Pohlers, Wolfram
- Stillwell, John
- Takeuti, Gaisi
- Aczel, Peter
- Alpuente, María
- Armando, Alessandro
- Basin, David
- Baumgartner, Peter
- Berardi, Stefano
- Braüner, Torben
- Buchholz, Wilfried
Erscheinungsform
Schlagwort
- Beweistheorie
- Computer science
- Logic design
- Artificial intelligence
- Typentheorie
- Logic, Symbolic and mathematical
- Logik
- Automatisches Beweisverfahren
- Mathematische Logik
- Reduktionssystem
- Software engineering
- Algebra
- Programmierlogik
- Programmierung
- Typsystem
- Electronic data processing
- Logische Programmierung
- Mathematik
- Typisierter Lambda-Kalkül
- Formale Methode
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Art des Inhalts