Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- theoretical computing 26 Treffer
- proof theory and constructive mathematics 22 Treffer
- theorie de la preuve et mathematiques constructives 22 Treffer
- program verification 15 Treffer
- verificacion programa 15 Treffer
-
45 weitere Werte:
- verification programme 15 Treffer
- logiciel 14 Treffer
- software 14 Treffer
- demonstration theoreme 12 Treffer
- demostracion teorema 12 Treffer
- theorem proving 12 Treffer
- automatic proving 9 Treffer
- computer systems performance. reliability 9 Treffer
- demonstration automatique 9 Treffer
- demostracion automatica 9 Treffer
- performances des systemes informatiques. fiabilite 9 Treffer
- computer theory 8 Treffer
- fonctions logiques, booleennes et de commutation 8 Treffer
- formal method 8 Treffer
- informatica teorica 8 Treffer
- logical, boolean and switching functions 8 Treffer
- methode formelle 8 Treffer
- proof theory 8 Treffer
- teoria demonstracion 8 Treffer
- theorie preuve 8 Treffer
- theorie type 8 Treffer
- type theory 8 Treffer
- general logic 7 Treffer
- logique generale 7 Treffer
- metodo formal 7 Treffer
- coq 6 Treffer
- algorithmics. computability. computer arithmetics 5 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 5 Treffer
- formal verification 5 Treffer
- genie logiciel 5 Treffer
- software engineering 5 Treffer
- verification formelle 5 Treffer
- data type 4 Treffer
- divers 4 Treffer
- miscellaneous 4 Treffer
- preuve 4 Treffer
- programming theory 4 Treffer
- semantica 4 Treffer
- semantics 4 Treffer
- semantique 4 Treffer
- theorie programmation 4 Treffer
- tipo dato 4 Treffer
- type donnee 4 Treffer
- 03b15 3 Treffer
- algebra 3 Treffer
Verlag
Publikation
- lecture notes in computer science 8 Treffer
- theoretical computer science 7 Treffer
- journal of automated reasoning 3 Treffer
- tphols 2001 : theorem proving in higher order logics (edinburgh, 3-6 september 2001) 3 Treffer
- tsi. technique et science informatiques 3 Treffer
-
17 weitere Werte:
- methodes formelles pour l'analyse statique et la compilation 2 Treffer
- types 2000 : types for proofs and programs (durham, 8-12 december 2000, selected papers) 2 Treffer
- types 2002 : types for proofs and programs (berg en dal, 24-28 april 2002, selected papers) 2 Treffer
- acm transactions on mathematical software 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- acta informatica 1 Treffer
- applied semantics: selected topics 1 Treffer
- communications of the acm 1 Treffer
- formal aspects of computing 1 Treffer
- higher-order and symbolic computation (print) 1 Treffer
- iet software (print) 1 Treffer
- information and computation (print) 1 Treffer
- information processing letters 1 Treffer
- models and paradigms for concurrency 1 Treffer
- real numbers and computers 1 Treffer
- report - software engineering 1 Treffer
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 1 Treffer
Sprache
31 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 154-168KonferenzZugriff:
-
In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 362-377KonferenzZugriff:
-
In: TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 105-127Online academicJournalZugriff:
-
In: TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers), 2003, S. 95-107KonferenzZugriff:
-
In: Theoretical computer science, Jg. 412 (2011), Heft 11, S. 962-970Online academicJournal
-
In: Report - Software engineering, 2008, Heft 6, S. 1-17academicJournalZugriff:
-
In: IET software (Print), Jg. 5 (2011), Heft 1, S. 32-42academicJournalZugriff:
-
In: Theoretical computer science, Jg. 323 (2004), Heft 1-3, S. 351-397Online academicJournal
-
In: Journal of automated reasoning, Jg. 50 (2013), Heft 4, S. 423-456Online academicJournalZugriff:
-
In: Real numbers and computers, Jg. 351 (2006), Heft 1, S. 39-51Online Konferenz
-
In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 169-184KonferenzZugriff:
-
In: Theoretical computer science, Jg. 403 (2008), Heft 2-3, S. 133-159Online academicJournal
-
In: ACM transactions on mathematical software, Jg. 37 (2011), Heft 1Online academicJournalZugriff:
-
In: Higher-order and symbolic computation (Print), Jg. 22 (2009), Heft 2, S. 145-154academicJournalZugriff:
-
In: ACM transactions on programming languages and systems, Jg. 35 (2013), Heft 3Online academicJournalZugriff:
-
In: Journal of automated reasoning, Jg. 52 (2014), Heft 2, S. 215-239Online academicJournalZugriff:
-
In: Applied Semantics: Selected Topics, Jg. 342 (2005), Heft 1, S. 56-78Online Konferenz
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 246-262KonferenzZugriff: