Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 18 Treffer
- verificacion programa 18 Treffer
- verification programme 18 Treffer
- automatic proving 13 Treffer
- demonstration automatique 13 Treffer
-
45 weitere Werte:
- demostracion automatica 13 Treffer
- demonstration theoreme 12 Treffer
- demostracion teorema 12 Treffer
- logical programming 12 Treffer
- programacion logica 12 Treffer
- programmation logique 12 Treffer
- theorem proving 12 Treffer
- logiciel 11 Treffer
- software 11 Treffer
- theorie type 11 Treffer
- type theory 11 Treffer
- general 9 Treffer
- generalites 9 Treffer
- proof theory 8 Treffer
- teoria demonstracion 8 Treffer
- theorie preuve 8 Treffer
- mathematics 6 Treffer
- mathematiques 6 Treffer
- preuve programme 5 Treffer
- program proof 5 Treffer
- prueba programa 5 Treffer
- formal verification 4 Treffer
- high order logic 4 Treffer
- induccion 4 Treffer
- induction 4 Treffer
- logica orden superior 4 Treffer
- logique ordre superieur 4 Treffer
- verification formelle 4 Treffer
- automated reasoning 3 Treffer
- first order logic 3 Treffer
- fonction recursive 3 Treffer
- formal method 3 Treffer
- funcion recursiva 3 Treffer
- logica orden 1 3 Treffer
- logique ordre 1 3 Treffer
- methode formelle 3 Treffer
- metodo formal 3 Treffer
- raisonnement automatique 3 Treffer
- razonamiento automatico 3 Treffer
- recursive function 3 Treffer
- arithmetics 2 Treffer
- arithmetique 2 Treffer
- aritmetica 2 Treffer
- artificial intelligence 2 Treffer
- binary number 2 Treffer
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
- 0flops 2006 2 Treffer
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 2 Treffer
-
11 weitere Werte:
- functional and logic programming (8th international symposium, flops 2006, fuji-susono, japan, april 24-26, 2006) 2 Treffer
- journal of automated reasoning 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
- automated reasoning (cork, 4-8 july 2004) 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
26 Treffer
-
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: 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:
-
In: Logic for programming, artificial intelligence, and reasoning (12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005), 2005, S. 246-260KonferenzZugriff:
-
In: TPHOLS 2004 : theorem proving in higher order logics (Park City UT, 14-17 September 2004), 2004, S. 50-65KonferenzZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 162-177KonferenzZugriff:
-
In: Automated reasoning (Cork, 4-8 July 2004), 2004, S. 385-399KonferenzZugriff: