Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- informatique theorique 47 Treffer
- theoretical computing 44 Treffer
- sciences and techniques of general use 43 Treffer
- sciences et techniques communes 43 Treffer
- logic and foundations 36 Treffer
-
45 weitere Werte:
- logique et fondements 36 Treffer
- logique mathematique, fondements, theorie des ensembles 36 Treffer
- mathematical logic, foundations, set theory 36 Treffer
- demonstration theoreme 29 Treffer
- demostracion teorema 29 Treffer
- theorem proving 29 Treffer
- program verification 26 Treffer
- verificacion programa 26 Treffer
- verification programme 26 Treffer
- proof theory and constructive mathematics 25 Treffer
- theorie de la preuve et mathematiques constructives 25 Treffer
- logiciel 22 Treffer
- software 22 Treffer
- computer theory 17 Treffer
- informatica teorica 17 Treffer
- automatic proving 16 Treffer
- demonstration automatique 16 Treffer
- demostracion automatica 16 Treffer
- proof theory 15 Treffer
- teoria demonstracion 15 Treffer
- theorie preuve 15 Treffer
- programming theory 13 Treffer
- theorie programmation 13 Treffer
- theorie type 13 Treffer
- type theory 13 Treffer
- fonctions logiques, booleennes et de commutation 12 Treffer
- logical, boolean and switching functions 12 Treffer
- computer systems performance. reliability 9 Treffer
- formal method 9 Treffer
- general logic 9 Treffer
- logical programming 9 Treffer
- logique generale 9 Treffer
- methode formelle 9 Treffer
- performances des systemes informatiques. fiabilite 9 Treffer
- programacion logica 9 Treffer
- programmation logique 9 Treffer
- algorithmics. computability. computer arithmetics 8 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 8 Treffer
- artificial intelligence 8 Treffer
- coq 8 Treffer
- formal verification 8 Treffer
- intelligence artificielle 8 Treffer
- metodo formal 8 Treffer
- preuve programme 8 Treffer
- program proof 8 Treffer
Verlag
Publikation
- lecture notes in computer science 31 Treffer
- theoretical computer science 11 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 7 Treffer
- types 2000 : types for proofs and programs (durham, 8-12 december 2000, selected papers) 4 Treffer
- journal of automated reasoning 3 Treffer
-
35 weitere Werte:
- tphols 2001 : theorem proving in higher order logics (edinburgh, 3-6 september 2001) 3 Treffer
- tsi. technique et science informatiques 3 Treffer
- types 2002 : types for proofs and programs (berg en dal, 24-28 april 2002, selected papers) 3 Treffer
- formal aspects of computing 2 Treffer
- higher-order and symbolic computation (print) 2 Treffer
- methodes formelles pour l'analyse statique et la compilation 2 Treffer
- tlca 2003 : typed lambda calculi and applications (valencia, 10-12 june 2003) 2 Treffer
- tphols 2005 : theorem proving in higher order logics (oxford, 22-25 august 2005) 2 Treffer
- acm transactions on mathematical software 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- acta informatica 1 Treffer
- adg 2000 : automated deduction in geometry (zurich, 25-27 september 2000, revised papers) 1 Treffer
- algebra, meaning, and computation (essays dedicated to joseph a. goguen on the occasion of his 65th birthday) 1 Treffer
- applied semantics: selected topics 1 Treffer
- automated deduction - cade-18 (copenhagen, 27-30 july 2002) 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
- iet software (print) 1 Treffer
- information and computation (print) 1 Treffer
- information processing letters 1 Treffer
- jfla 2001 : journees francophones des langages applicatifs (pontcarlier, 29-30 janvier 2001 ) 1 Treffer
- journal of symbolic computation 1 Treffer
- mkm 2003 : mathematical knowledge management (bertinoro, 16-18 february 2003) 1 Treffer
- mkm 2004 : mathematical knowledge management (bialowieza, 19-21 september 2004) 1 Treffer
- models and paradigms for concurrency 1 Treffer
- real numbers and computers 1 Treffer
- report - software engineering 1 Treffer
- science & devenir de l'homme 1 Treffer
- special issue on automatic programming 1 Treffer
- theoretical computer science (bertinoro, 13-15 october 2003) 1 Treffer
- theories of types and proofs 1 Treffer
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 1 Treffer
- tphols'99 : theorem proving in higher order logics (nice, 14-17 september 1999) 1 Treffer
- verified software: theories, tools, experiments meeting 1 Treffer
Sprache
63 Treffer
-
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: 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: 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: 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: MKM 2004 : mathematical knowledge management (Bialowieza, 19-21 September 2004), 2004, S. 88-103KonferenzZugriff:
-
In: TLCA 2003 : typed lambda calculi and applications (Valencia, 10-12 June 2003), 2003, S. 271-285KonferenzZugriff:
-
In: TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers), 2003, S. 95-107KonferenzZugriff:
-
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 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 356-371KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 108-125KonferenzZugriff:
-
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: Report - Software engineering, 2008, Heft 6, S. 1-17academicJournalZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 126-144KonferenzZugriff:
-
In: IET software (Print), Jg. 5 (2011), Heft 1, S. 32-42academicJournalZugriff: