Suchergebnisse
Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- bc1-199 3 Treffer
- computer science - logic in computer science 3 Treffer
- electronic computers. computer science 3 Treffer
- f.4.1 3 Treffer
- logic 3 Treffer
-
14 weitere Werte:
- qa75.5-76.95 3 Treffer
- constructive set theory 2 Treffer
- curry-howard isomorphism 2 Treffer
- hol 2 Treffer
- intuitionistic set theory 2 Treffer
- normalization 2 Treffer
- pvs 2 Treffer
- realizability 2 Treffer
- type theory 2 Treffer
- lambda calculus 1 Treffer
- program extraction 1 Treffer
- proof assistants 1 Treffer
- proofs-as-programs 1 Treffer
- set-theory 1 Treffer
Verlag
Sprache
Inhaltsanbieter
8 Treffer
-
In: Logical Methods in Computer Science, Jg. ume 4, Issue 3 (2008-09-01)Online academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 4, Issue 2 (2008-04-01)Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
In: Logical Methods in Computer Science, Jg. ume 3, Issue 3 (2007-08-01)Online academicJournalZugriff: