Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- program verification 14 Treffer
- verificacion programa 14 Treffer
- verification programme 14 Treffer
- fonctions logiques, booleennes et de commutation 11 Treffer
- logical, boolean and switching functions 11 Treffer
-
45 weitere Werte:
- demonstration theoreme 7 Treffer
- demostracion teorema 7 Treffer
- mathematics 7 Treffer
- mathematiques 7 Treffer
- theorem proving 7 Treffer
- theorie type 7 Treffer
- type theory 7 Treffer
- logical programming 6 Treffer
- programacion logica 6 Treffer
- programmation logique 6 Treffer
- automatic proving 5 Treffer
- demonstration automatique 5 Treffer
- demostracion automatica 5 Treffer
- logiciel 5 Treffer
- software 5 Treffer
- formal verification 4 Treffer
- logic and foundations 4 Treffer
- logique et fondements 4 Treffer
- logique mathematique, fondements, theorie des ensembles 4 Treffer
- mathematical logic, foundations, set theory 4 Treffer
- programming theory 4 Treffer
- proof theory and constructive mathematics 4 Treffer
- sciences and techniques of general use 4 Treffer
- sciences et techniques communes 4 Treffer
- theorie de la preuve et mathematiques constructives 4 Treffer
- theorie programmation 4 Treffer
- verification formelle 4 Treffer
- calcul construction inductive (informatique) 3 Treffer
- calculo construcciοn inductiva (informatica) 3 Treffer
- formal method 3 Treffer
- high order logic 3 Treffer
- inductive construction calculus (computer science) 3 Treffer
- logica orden superior 3 Treffer
- logique ordre superieur 3 Treffer
- methode formelle 3 Treffer
- metodo formal 3 Treffer
- polimorfismo 3 Treffer
- polymorphism 3 Treffer
- polymorphisme 3 Treffer
- algorithmics. computability. computer arithmetics 2 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 2 Treffer
- arithmetics 2 Treffer
- arithmetique 2 Treffer
- aritmetica 2 Treffer
- artificial intelligence 2 Treffer
Verlag
Publikation
- lecture notes in computer science 11 Treffer
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 3 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 2 Treffer
- tphols 2005 : theorem proving in higher order logics (oxford, 22-25 august 2005) 2 Treffer
- 0flops 2006 1 Treffer
-
13 weitere Werte:
- 0lpar 2005 1 Treffer
- acm sigplan notices 1 Treffer
- acm transactions on mathematical software 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- communications of the acm 1 Treffer
- conference record of popl® 2006: the 33rd acm sigplan-sigact symposium on principles of programming languages®, january 11-13, 2006, charleston, south carolina, usa 1 Treffer
- csl 2005 : computer science logic (oxford, 22-25 august 2005) 1 Treffer
- formal aspects of computing 1 Treffer
- functional and logic programming (8th international symposium, flops 2006, fuji-susono, japan, april 24-26, 2006) 1 Treffer
- logic for programming, artificial intelligence, and reasoning (12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005) 1 Treffer
- tphols'99 : theorem proving in higher order logics (nice, 14-17 september 1999) 1 Treffer
- types 2000 : types for proofs and programs (durham, 8-12 december 2000, selected papers) 1 Treffer
- types 2003 : types for proofs and programs (torino, 30 april - 4 may 2003, revised selected papers) 1 Treffer
Sprache
18 Treffer
-
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 2005 : theorem proving in higher order logics (Oxford, 22-25 August 2005), 2005, S. 98-113KonferenzZugriff:
-
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: CSL 2005 : computer science logic (Oxford, 22-25 August 2005), 2005, S. 151-166KonferenzZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 164-181KonferenzZugriff:
-
In: Formal aspects of computing, Jg. 9 (1997), Heft 1, S. 1-48Online academicJournalZugriff:
-
In: Conference record of POPL® 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages®, January 11-13, Jg. 41 (2006), Heft 1, S. 320-333KonferenzZugriff:
-
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 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 148-163KonferenzZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 115-130KonferenzZugriff:
-
In: TYPES 2000 : Types for proofs and programs (Durham, 8-12 December 2000, selected papers), 2002, S. 181-196KonferenzZugriff:
-
In: TPHOLs'99 : theorem proving in higher order logics (Nice, 14-17 September 1999), 1999, S. 131-148KonferenzZugriff:
-
In: Communications of the ACM, Jg. 52 (2009), Heft 7, S. 107-115Online academicJournalZugriff: