Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- theorem proving 7 Treffer
- tphols 7 Treffer
- higher order logics 4 Treffer
- higher order logistics 3 Treffer
- algorithms 1 Treffer
-
18 weitere Werte:
- asian 1 Treffer
- computer programming 1 Treffer
- computing science 1 Treffer
- flops 1 Treffer
- functional programming (computer science) 1 Treffer
- isss 1 Treffer
- jsps 1 Treffer
- logic programming 1 Treffer
- mext 1 Treffer
- nsf 1 Treffer
- program construction 1 Treffer
- programs 1 Treffer
- proofs 1 Treffer
- software security 1 Treffer
- systems 1 Treffer
- tacas 1 Treffer
- tools 1 Treffer
- types 1 Treffer
Sprache
13 Treffer
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2006, Heft NO 3945, S. 114-129KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, S. 335-351KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, S. 270-286KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, S. 155-170KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, S. 87-102KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2003, S. 217-233KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2002, S. 332-348KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2002, S. 31-46KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2002, S. 198-213KonferenzZugriff:
-
Information Retrieval in a Coq Proof Library Using Type Isomorphisms : Types for proofs and programsIn: LECTURE NOTES IN COMPUTER SCIENCE, 2001, S. 131-147KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, , Heft E 1384, S. 167-183KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, Jg. 1742 (1999), S. 381-382KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2008, Heft NO 5133, S. 28-28KonferenzZugriff: