Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- applied sciences 38 Treffer
- computer science; control theory; systems 38 Treffer
- informatique; automatique theorique; systemes 38 Treffer
- sciences appliquees 38 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
- informatique theorique 34 Treffer
- theoretical computing 31 Treffer
- proof theory and constructive mathematics 25 Treffer
- theorie de la preuve et mathematiques constructives 25 Treffer
- program verification 17 Treffer
- verificacion programa 17 Treffer
- verification programme 17 Treffer
- demonstration theoreme 16 Treffer
- demostracion teorema 16 Treffer
- theorem proving 16 Treffer
- logiciel 15 Treffer
- software 15 Treffer
- theorie type 11 Treffer
- type theory 11 Treffer
- automatic proving 10 Treffer
- computer theory 10 Treffer
- demonstration automatique 10 Treffer
- demostracion automatica 10 Treffer
- informatica teorica 10 Treffer
- proof theory 10 Treffer
- teoria demonstracion 10 Treffer
- theorie preuve 10 Treffer
- computer systems performance. reliability 9 Treffer
- general logic 9 Treffer
- logique generale 9 Treffer
- performances des systemes informatiques. fiabilite 9 Treffer
- coq 8 Treffer
- fonctions logiques, booleennes et de commutation 8 Treffer
- formal method 8 Treffer
- logical, boolean and switching functions 8 Treffer
- methode formelle 8 Treffer
- metodo formal 7 Treffer
- algebra 6 Treffer
- algebre 6 Treffer
- algorithmics. computability. computer arithmetics 6 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 6 Treffer
- divers 6 Treffer
- miscellaneous 6 Treffer
- programming theory 6 Treffer
- theorie programmation 6 Treffer
- data type 5 Treffer
- formal verification 5 Treffer
Verlag
Publikation
- lecture notes in computer science 13 Treffer
- theoretical computer science 11 Treffer
- types 2000 : types for proofs and programs (durham, 8-12 december 2000, selected papers) 4 Treffer
- journal of automated reasoning 3 Treffer
- tphols 2001 : theorem proving in higher order logics (edinburgh, 3-6 september 2001) 3 Treffer
-
22 weitere Werte:
- 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
- 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
- communications of the acm 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
- models and paradigms for concurrency 1 Treffer
- real numbers and computers 1 Treffer
- report - software engineering 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
- verified software: theories, tools, experiments meeting 1 Treffer
Sprache
43 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: Journal of automated reasoning, Jg. 53 (2014), Heft 2, S. 105-127Online academicJournalZugriff:
-
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: Theoretical computer science, Jg. 412 (2011), Heft 11, S. 962-970Online academicJournal
-
In: Report - Software engineering, 2008, Heft 6, S. 1-17academicJournalZugriff:
-
In: IET software (Print), Jg. 5 (2011), Heft 1, S. 32-42Online academicJournalZugriff:
-
In: Theoretical computer science, Jg. 323 (2004), Heft 1-3, S. 399-442Online academicJournal
-
In: Theoretical computer science, Jg. 323 (2004), Heft 1-3, S. 351-397Online academicJournal
-
In: Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday); (2006) S. 216-234BuchZugriff:
-
In: Journal of automated reasoning, Jg. 50 (2013), Heft 4, S. 423-456Online academicJournalZugriff:
-
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: Theoretical computer science, Jg. 403 (2008), Heft 2-3, S. 133-159Online academicJournal
-
In: ACM transactions on mathematical software, Jg. 37 (2011), Heft 1Online academicJournalZugriff: