Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 24 Treffer
- verificacion programa 24 Treffer
- verification programme 24 Treffer
- automatic proving 19 Treffer
- demonstration automatique 19 Treffer
-
45 weitere Werte:
- demostracion automatica 19 Treffer
- logiciel 17 Treffer
- software 17 Treffer
- logical programming 13 Treffer
- programacion logica 13 Treffer
- programmation logique 13 Treffer
- demonstration theoreme 12 Treffer
- demostracion teorema 12 Treffer
- mathematics 12 Treffer
- mathematiques 12 Treffer
- theorem proving 12 Treffer
- proof theory 11 Treffer
- teoria demonstracion 11 Treffer
- theorie preuve 11 Treffer
- theorie type 11 Treffer
- type theory 11 Treffer
- general 9 Treffer
- generalites 9 Treffer
- logic and foundations 8 Treffer
- logique et fondements 8 Treffer
- logique mathematique, fondements, theorie des ensembles 8 Treffer
- mathematical logic, foundations, set theory 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
- formal verification 7 Treffer
- verification formelle 7 Treffer
- computer systems performance. reliability 6 Treffer
- formal method 6 Treffer
- high order logic 6 Treffer
- logica orden superior 6 Treffer
- logique ordre superieur 6 Treffer
- methode formelle 6 Treffer
- metodo formal 6 Treffer
- performances des systemes informatiques. fiabilite 6 Treffer
- preuve programme 5 Treffer
- program proof 5 Treffer
- prueba programa 5 Treffer
- induccion 4 Treffer
- induction 4 Treffer
- artificial intelligence 3 Treffer
- automated reasoning 3 Treffer
- coq proof assistant 3 Treffer
- first order logic 3 Treffer
Verlag
Publikation
- lecture notes in computer science 21 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
- types 2003 : types for proofs and programs (torino, 30 april - 4 may 2003, revised selected papers) 4 Treffer
- tsi. technique et science informatiques 3 Treffer
- 0flops 2006 2 Treffer
-
16 weitere Werte:
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 2 Treffer
- functional and logic programming (8th international symposium, flops 2006, fuji-susono, japan, april 24-26, 2006) 2 Treffer
- journal of automated reasoning 2 Treffer
- methodes formelles pour l'analyse statique et la compilation 2 Treffer
- tphols 2004 : theorem proving in higher order logics (park city ut, 14-17 september 2004) 2 Treffer
- tphols 2005 : theorem proving in higher order logics (oxford, 22-25 august 2005) 2 Treffer
- 0lpar 2005 1 Treffer
- acm transactions on mathematical software 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- automated reasoning (cork, 4-8 july 2004) 1 Treffer
- communications of the acm 1 Treffer
- computer aided systems theory : eurocast 2003 (las palmas de gran canaria, 24-28 february 2003, revised selected papers) 1 Treffer
- csl 2001 : computer science logic (paris, 10-13 september 2001) 1 Treffer
- csl 2005 : computer science logic (oxford, 22-25 august 2005) 1 Treffer
- logic for programming, artificial intelligence, and reasoning (12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005) 1 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 1 Treffer
Sprache
32 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: TPHOLs 2005 : theorem proving in higher order logics (Oxford, 22-25 August 2005), 2005, S. 245-260KonferenzZugriff:
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 105-127Online academicJournalZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 309-323KonferenzZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 130-146KonferenzZugriff:
-
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: Functional and logic programming (8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006), 2006, S. 114-129KonferenzZugriff:
-
In: TPHOLs 2005 : theorem proving in higher order logics (Oxford, 22-25 August 2005), 2005, S. 98-113KonferenzZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 324-337KonferenzZugriff:
-
In: TPHOLS 2004 : theorem proving in higher order logics (Park City UT, 14-17 September 2004), 2004, S. 225-240KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: Computer aided systems theory : EUROCAST 2003 (Las Palmas de Gran Canaria, 24-28 February 2003, revised selected papers), 2003, S. 279-290KonferenzZugriff:
-
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: CSL 2005 : computer science logic (Oxford, 22-25 August 2005), 2005, S. 151-166KonferenzZugriff:
-
In: Functional and logic programming (8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006), 2006, S. 97-113KonferenzZugriff: