Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- informatique theorique 112 Treffer
- theoretical computing 108 Treffer
- program verification 90 Treffer
- verificacion programa 90 Treffer
- verification programme 90 Treffer
-
45 weitere Werte:
- logiciel 75 Treffer
- software 75 Treffer
- mathematics 63 Treffer
- mathematiques 63 Treffer
- demonstration theoreme 50 Treffer
- demostracion teorema 50 Treffer
- theorem proving 50 Treffer
- automatic proving 44 Treffer
- demonstration automatique 44 Treffer
- demostracion automatica 44 Treffer
- sciences and techniques of general use 43 Treffer
- sciences et techniques communes 43 Treffer
- theorie type 39 Treffer
- type theory 39 Treffer
- logic and foundations 36 Treffer
- logique et fondements 36 Treffer
- logique mathematique, fondements, theorie des ensembles 36 Treffer
- mathematical logic, foundations, set theory 36 Treffer
- proof theory 35 Treffer
- teoria demonstracion 35 Treffer
- theorie preuve 35 Treffer
- formal verification 33 Treffer
- verification formelle 33 Treffer
- fonctions logiques, booleennes et de commutation 32 Treffer
- logical, boolean and switching functions 32 Treffer
- programmation logique 32 Treffer
- logical programming 31 Treffer
- preuve programme 31 Treffer
- program proof 31 Treffer
- programacion logica 31 Treffer
- prueba programa 31 Treffer
- genie logiciel 27 Treffer
- programming theory 27 Treffer
- software engineering 27 Treffer
- theorie programmation 27 Treffer
- algorithmics. computability. computer arithmetics 25 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 25 Treffer
- proof theory and constructive mathematics 25 Treffer
- theorie de la preuve et mathematiques constructives 25 Treffer
- computer theory 24 Treffer
- informatica teorica 24 Treffer
- coq 23 Treffer
- formal method 21 Treffer
- methode formelle 21 Treffer
- langage programmation 20 Treffer
Verlag
- springer 109 Treffer
- elsevier 15 Treffer
- acm 10 Treffer
- lavoisier 8 Treffer
- inria 7 Treffer
-
11 weitere Werte:
- association for computing machinery 6 Treffer
- springer-verlag 3 Treffer
- elsevier science 2 Treffer
- academic press 1 Treffer
- centrum voor wiskunde en informatica 1 Treffer
- ieee 1 Treffer
- ieee computer society 1 Treffer
- institution of engineering and technology 1 Treffer
- mechanical engineering publications 1 Treffer
- murs 1 Treffer
- world scientific publishing 1 Treffer
Publikation
- lecture notes in computer science 91 Treffer
- theoretical computer science 13 Treffer
- acm sigplan notices 10 Treffer
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 8 Treffer
- tsi. technique et science informatiques 8 Treffer
-
45 weitere Werte:
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 7 Treffer
- formal aspects of computing 6 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
- jfla 2001 : journees francophones des langages applicatifs (pontcarlier, 29-30 janvier 2001 ) 5 Treffer
- journal of automated reasoning 5 Treffer
- types 2000 : types for proofs and programs (durham, 8-12 december 2000, selected papers) 4 Treffer
- types 2002 : types for proofs and programs (berg en dal, 24-28 april 2002, selected papers) 4 Treffer
- types 2003 : types for proofs and programs (torino, 30 april - 4 may 2003, revised selected papers) 4 Treffer
- acm transactions on programming languages and systems 3 Treffer
- langages applicatifs : specification, programmation, verification 3 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 3 Treffer
- tphols 2001 : theorem proving in higher order logics (edinburgh, 3-6 september 2001) 3 Treffer
- tphols'99 : theorem proving in higher order logics (nice, 14-17 september 1999) 3 Treffer
- types for proofs and programs (aussois, 15-19 december 1996, selected papers) 3 Treffer
- 0flops 2006 2 Treffer
- acta informatica 2 Treffer
- automated deduction - cade-18 (copenhagen, 27-30 july 2002) 2 Treffer
- automated deduction - cade-19 (miami beach fl, 28 july - 2 august 2003) 2 Treffer
- cade-20 : automated deduction (tallinn, 22-27 july 2005) 2 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 2 Treffer
- functional and logic programming (8th international symposium, flops 2006, fuji-susono, japan, april 24-26, 2006) 2 Treffer
- higher-order and symbolic computation (print) 2 Treffer
- information and computation (print) 2 Treffer
- isss 2002 : software security - theories and systems (tokyo, 8-10 november 2002, revised papers) 2 Treffer
- jfla 2002 : journees francophones des langages applicatifs (anglet, 28-29 janvier 2002) 2 Treffer
- methodes formelles pour l'analyse statique et la compilation 2 Treffer
- programming languages and systems (barcelona, 29 march - 2 april 2004) 2 Treffer
- tlca 2003 : typed lambda calculi and applications (valencia, 10-12 june 2003) 2 Treffer
- tlca 2005 : typed lambda calculi and applications (nara, 21-23 april 2005) 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
- 0esorics 2005 1 Treffer
- 0icfem 2005 1 Treffer
- 0lpar 2005 1 Treffer
- 0vmcai 2006 1 Treffer
- acm transactions on mathematical software 1 Treffer
- adg 2000 : automated deduction in geometry (zurich, 25-27 september 2000, revised papers) 1 Treffer
- advances in computing science - asian'99 (phuket,december 10-12 1999) 1 Treffer
- algebra, meaning, and computation (essays dedicated to joseph a. goguen on the occasion of his 65th birthday) 1 Treffer
- applied formal methods - fm-trends 98 (boppard, 7-9 october 1998) 1 Treffer
- applied semantics 1 Treffer
- applied semantics: selected topics 1 Treffer
- automata, languages and programming (icalp 2005) 1 Treffer
- automata, languages and programming (prague, 11-15 july 1999) 1 Treffer
- automated reasoning (cork, 4-8 july 2004) 1 Treffer
Sprache
169 Treffer
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 3, S. 271-304Online academicJournalZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 33-47KonferenzZugriff:
-
In: Méthodes formelles pour l'analyse statique et la compilation, Jg. 30 (2011), Heft 4, S. 409-440academicJournalZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 1-15KonferenzZugriff:
-
In: TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers), 2003, S. 200-219KonferenzZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 17-31KonferenzZugriff:
-
In: TACS 2001 : theoretical aspects of computer software (Sendai, 29-31 October 2001), 2001, S. 298-315KonferenzZugriff:
-
In: Computer aided systems theory - EUROCAST 2001 (Las Palmas de Gran Canaria, 19-23 February 2001, selected & revised papers ), 2001, S. 583-596KonferenzZugriff:
-
In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 154-168KonferenzZugriff:
-
In: TPHOLs'99 : theorem proving in higher order logics (Nice, 14-17 September 1999), 1999, S. 91-108KonferenzZugriff:
-
In: TPHOLs 2001 : theorem proving in higher order logics (Edinburgh, 3-6 September 2001), 2001, S. 362-377KonferenzZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1113-1138academicJournalZugriff:
-
In: Langages applicatifs : spécification, programmation, vérification, Jg. 24 (2005), Heft 9, S. 1139-1160academicJournalZugriff:
-
In: TSI. Technique et science informatiques, Jg. 26 (2007), Heft 9, S. 1111-1136academicJournalZugriff:
-
In: Theories of types and proofs, Jg. 272 (2002), Heft 1-2, S. 293-314Online academicJournal
-
In: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 105-127Online academicJournalZugriff:
-
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: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 130-146KonferenzZugriff:
-
In: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 88-103KonferenzZugriff: