Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- collaboration 1 Treffer
- colloidal suspension 1 Treffer
- colloids 1 Treffer
- complexity 1 Treffer
-
18 weitere Werte:
- composite 1 Treffer
- computational science 1 Treffer
- dls 1 Treffer
- expressiveness 1 Treffer
- films 1 Treffer
- formalization of mathematics 1 Treffer
- fundamental theorem of algebra 1 Treffer
- interfacing 1 Treffer
- it services 1 Treffer
- mfi zeolite 1 Treffer
- model checking 1 Treffer
- orientation 1 Treffer
- partnership 1 Treffer
- polymer 1 Treffer
- program extraction 1 Treffer
- satisfiability solving 1 Treffer
- silica source 1 Treffer
- zeolite 1 Treffer
Publikation
Sprache
Geographischer Bezug
6 Treffer
-
In: Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus 2005) ; Calculemus 2005 ; https://hal.archives-ouvertes.fr/hal-00150908 ; Calculemus 2005, Mar 2006, Newcastle upon Tyne, United Kingdom. pp.75-91, ⟨10.1016/j.entcs.2005.11.024⟩, 2006Online KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
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: