Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematics 21 Treffer
- mathematiques 21 Treffer
- program verification 19 Treffer
- verificacion programa 19 Treffer
- verification programme 19 Treffer
-
45 weitere Werte:
- programming theory 13 Treffer
- theorie programmation 13 Treffer
- fonctions logiques, booleennes et de commutation 12 Treffer
- logical, boolean and switching functions 12 Treffer
- sciences and techniques of general use 12 Treffer
- sciences et techniques communes 12 Treffer
- theorie type 11 Treffer
- type theory 11 Treffer
- automatic proving 10 Treffer
- demonstration automatique 10 Treffer
- demostracion automatica 10 Treffer
- logic and foundations 9 Treffer
- logical programming 9 Treffer
- logique et fondements 9 Treffer
- logique mathematique, fondements, theorie des ensembles 9 Treffer
- mathematical logic, foundations, set theory 9 Treffer
- programacion logica 9 Treffer
- programmation logique 9 Treffer
- computer theory 8 Treffer
- informatica teorica 8 Treffer
- preuve programme 7 Treffer
- program proof 7 Treffer
- proof theory 7 Treffer
- proof theory and constructive mathematics 7 Treffer
- prueba programa 7 Treffer
- teoria demonstracion 7 Treffer
- theorie de la preuve et mathematiques constructives 7 Treffer
- theorie preuve 7 Treffer
- algorithmics. computability. computer arithmetics 6 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 6 Treffer
- coq 6 Treffer
- algebra 5 Treffer
- algebre 5 Treffer
- formal verification 5 Treffer
- general 5 Treffer
- generalites 5 Treffer
- high order logic 5 Treffer
- logique ordre superieur 5 Treffer
- verification formelle 5 Treffer
- fonction recursive 4 Treffer
- funcion recursiva 4 Treffer
- logica orden superior 4 Treffer
- logiciel 4 Treffer
- number theory 4 Treffer
- recursive function 4 Treffer
Verlag
Publikation
- lecture notes in computer science 28 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 5 Treffer
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 5 Treffer
- theoretical computer science 3 Treffer
- tphols 2001 : theorem proving in higher order logics (edinburgh, 3-6 september 2001) 3 Treffer
-
15 weitere Werte:
- types 2000 : types for proofs and programs (durham, 8-12 december 2000, selected papers) 3 Treffer
- jfla 2001 : journees francophones des langages applicatifs (pontcarlier, 29-30 janvier 2001 ) 2 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 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
- applied semantics: selected topics 1 Treffer
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 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
- logic for programming, artificial intelligence, and reasoning (12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005) 1 Treffer
- real numbers and computers 1 Treffer
- types 2002 : types for proofs and programs (berg en dal, 24-28 april 2002, selected papers) 1 Treffer
- types 2003 : types for proofs and programs (torino, 30 april - 4 may 2003, revised selected papers) 1 Treffer
Sprache
34 Treffer
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 33-47KonferenzZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 1-15KonferenzZugriff:
-
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: TPHOLs 2005 : theorem proving in higher order logics (Oxford, 22-25 August 2005), 2005, S. 245-260KonferenzZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 309-323KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 87-102KonferenzZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 332-347KonferenzZugriff:
-
In: TYPES 2000 : Types for proofs and programs (Durham, 8-12 December 2000, selected papers), 2002, S. 79-95KonferenzZugriff:
-
In: TPHOLs 2005 : theorem proving in higher order logics (Oxford, 22-25 August 2005), 2005, S. 98-113KonferenzZugriff:
-
In: TPHOLS 2004 : theorem proving in higher order logics (Park City UT, 14-17 September 2004), 2004, S. 225-240KonferenzZugriff:
-
In: Theoretical computer science, Jg. 412 (2011), Heft 11, S. 962-970Online academicJournal
-
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: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 31-46KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 126-144KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 388-405KonferenzZugriff:
-
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: Applied Semantics: Selected Topics, Jg. 342 (2005), Heft 1, S. 56-78Online Konferenz