Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- automatic proving 10 Treffer
- demonstration automatique 10 Treffer
- demostracion automatica 10 Treffer
- program verification 10 Treffer
- verificacion programa 10 Treffer
-
45 weitere Werte:
- verification programme 10 Treffer
- general 9 Treffer
- generalites 9 Treffer
- logic and foundations 8 Treffer
- logical programming 8 Treffer
- logique et fondements 8 Treffer
- logique mathematique, fondements, theorie des ensembles 8 Treffer
- mathematical logic, foundations, set theory 8 Treffer
- mathematics 8 Treffer
- mathematiques 8 Treffer
- programacion logica 8 Treffer
- programmation logique 8 Treffer
- proof theory and constructive mathematics 8 Treffer
- sciences and techniques of general use 8 Treffer
- sciences et techniques communes 8 Treffer
- theorie de la preuve et mathematiques constructives 8 Treffer
- computer systems performance. reliability 6 Treffer
- performances des systemes informatiques. fiabilite 6 Treffer
- formal verification 5 Treffer
- proof theory 5 Treffer
- teoria demonstracion 5 Treffer
- theorie preuve 5 Treffer
- verification formelle 5 Treffer
- coq proof assistant 3 Treffer
- demonstration theoreme 3 Treffer
- demostracion teorema 3 Treffer
- formal method 3 Treffer
- genie logiciel 3 Treffer
- methode formelle 3 Treffer
- metodo formal 3 Treffer
- semantica 3 Treffer
- semantics 3 Treffer
- semantique 3 Treffer
- software engineering 3 Treffer
- theorem proving 3 Treffer
- analisis estatica 2 Treffer
- analisis sintaxico 2 Treffer
- analyse statique 2 Treffer
- analyse syntaxique 2 Treffer
- artificial intelligence 2 Treffer
- cognition 2 Treffer
- computer security 2 Treffer
- confidencialidad 2 Treffer
- confidentialite 2 Treffer
- confidentiality 2 Treffer
Verlag
Publikation
- lecture notes in computer science 9 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
- tsi. technique et science informatiques 3 Treffer
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 2 Treffer
- journal of automated reasoning 2 Treffer
-
5 weitere Werte:
- methodes formelles pour l'analyse statique et la compilation 2 Treffer
- acm transactions on mathematical software 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- communications of the acm 1 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 1 Treffer
Sprache
17 Treffer
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
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: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 270-286KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 87-102KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 155-170KonferenzZugriff:
-
In: ACM transactions on mathematical software, Jg. 37 (2011), Heft 1Online academicJournalZugriff:
-
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: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 304-318KonferenzZugriff:
-
In: Automated deduction - CADE-19 (Miami Beach FL, 28 July - 2 August 2003), 2003, S. 297-316KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 205-220KonferenzZugriff:
-
In: LPAR 2003 : logic for programming artificial intelligence, and reasoning (Almaty, 22-26 September 2003), 2003, S. 59-77KonferenzZugriff:
-
In: Automated deduction - CADE-19 (Miami Beach FL, 28 July - 2 August 2003), 2003, S. 136-150KonferenzZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 381-408academicJournalZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff: