Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=0*
Treffer 19963 von 20175
|
|
| Link zu diesem Datensatz | https://d-nb.info/965633241 |
| Art des Inhalts | Konferenzschrift, 1998, Irsee |
| Titel | Types for proofs and programs : international workshop ; types '98, Kloster Irsee, Germany, March 1998 ; selected papers / T. Altenkirch ... (ed.) |
| Person(en) | Altenkirch, Thorsten (Mitwirkender) |
| Verlag | Berlin ; Heidelberg : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2001 |
| Umfang/Format | Online-Ressource (PDF) |
| Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Types for proofs and programs |
| Persistent Identifier | DOI: 10.1007/3-540-48167-2 |
| URL | http://link.springer.de/link/service/series/0558/tocs/t1657.htm |
| ISBN/Einband/Preis | 978-3-540-48167-6 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; 1657 |
| Anmerkungen | Lizenzpflichtig |
| Schlagwörter |
Typentheorie ; Kongress ; Irsee <1998> ; Online-Publikation Beweistheorie ; Kongress ; Irsee <1998> ; Online-Publikation Automatisches Beweisverfahren ; Kongress ; Irsee <1998> ; Online-Publikation Logische Programmierung ; Kongress ; Irsee <1998> ; Online-Publikation Typentheorie ; Kongress ; Nottingham <2006> Typsystem ; Kongress ; Nottingham <2006> Beweistheorie ; Typentheorie ; Kongress ; Nottingham <2006> Programmierung ; Typentheorie ; Kongress ; Nottingham <2006> Reduktionssystem ; Typentheorie ; Kongress ; Nottingham <2006> |
| DDC-Notation | 005.131 [DDC22ger] |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 27 Mathematik |
| Online-Zugriff | Archivobjekt öffnen |
Treffer 19963 von 20175
Administration
