Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- informatique theorique 25 Treffer
- theoretical computing 25 Treffer
- program verification 18 Treffer
- verificacion programa 18 Treffer
- verification programme 18 Treffer
-
45 weitere Werte:
- logiciel 14 Treffer
- software 14 Treffer
- fonctions logiques, booleennes et de commutation 13 Treffer
- logical, boolean and switching functions 13 Treffer
- demonstration theoreme 12 Treffer
- demostracion teorema 12 Treffer
- programming theory 12 Treffer
- theorem proving 12 Treffer
- theorie programmation 12 Treffer
- preuve programme 10 Treffer
- program proof 10 Treffer
- prueba programa 10 Treffer
- formal verification 9 Treffer
- mathematics 9 Treffer
- mathematiques 9 Treffer
- theorie type 9 Treffer
- type theory 9 Treffer
- verification formelle 9 Treffer
- automatic proving 8 Treffer
- computer theory 8 Treffer
- demonstration automatique 8 Treffer
- demostracion automatica 8 Treffer
- informatica teorica 8 Treffer
- general 7 Treffer
- generalites 7 Treffer
- proof theory 7 Treffer
- teoria demonstracion 7 Treffer
- theorie preuve 7 Treffer
- formal method 5 Treffer
- methode formelle 5 Treffer
- metodo formal 5 Treffer
- analisis sintaxico 4 Treffer
- analyse syntaxique 4 Treffer
- artificial intelligence 4 Treffer
- especificacion formal 4 Treffer
- especificacion programa 4 Treffer
- formal specification 4 Treffer
- functional programming 4 Treffer
- intelligence artificielle 4 Treffer
- program specification 4 Treffer
- programacion funcional 4 Treffer
- programmation fonctionnelle 4 Treffer
- specification formelle 4 Treffer
- specification programme 4 Treffer
- syntactic analysis 4 Treffer
Verlag
Publikation
- lecture notes in computer science 25 Treffer
- tphols 2000 : theorem proving in higher order logics (portland or, 14-18 august 2000) 7 Treffer
- tphols 2003 : theorem proving in higher order logics (rome, 8-12 september 2003) 6 Treffer
- 0flops 2006 2 Treffer
- acm sigplan notices 2 Treffer
-
18 weitere Werte:
- cade-20 : automated deduction (tallinn, 22-27 july 2005) 2 Treffer
- functional and logic programming (8th international symposium, flops 2006, fuji-susono, japan, april 24-26, 2006) 2 Treffer
- 0lpar 2005 1 Treffer
- acm transactions on programming languages and systems 1 Treffer
- advances in computing science - asian'99 (phuket,december 10-12 1999) 1 Treffer
- automata, languages and programming (prague, 11-15 july 1999) 1 Treffer
- automated reasoning (cork, 4-8 july 2004) 1 Treffer
- csl 2005 : computer science logic (oxford, 22-25 august 2005) 1 Treffer
- formal aspects of computing 1 Treffer
- logic for programming, artificial intelligence, and reasoning (12th international conference, lpar 2005, montego bay, jamaica, december 2-6, 2005) 1 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 1 Treffer
- parallel and distributed processing (cancun, 1-5 may 2000) 1 Treffer
- pldi'07 proceedings of the 2007 acm sigplan conference on programming language design & implementation, june 10-13, 2007, san diego, ca 1 Treffer
- proceedings of the 2004 acm sigplan: international conference on functional programming (icfp'04), snowbird, utah, usa, september 19-21, 2004 1 Treffer
- theoretical computer science : exploring new frontiers of theoretical informatics (sendai, 17-19 august 2000) 1 Treffer
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 1 Treffer
- types for proofs and programs (kloster irsee, 27-31 march 1998, selected papers) 1 Treffer
- zb 2002 : formal specification and development in z and b (grenoble, 23-25 january 2002) 1 Treffer
Sprache
32 Treffer
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 270-286KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 87-102KonferenzZugriff:
-
In: Functional and logic programming (8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006), 2006, S. 114-129KonferenzZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 198-213KonferenzZugriff:
-
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: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 155-170KonferenzZugriff:
-
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: ACM transactions on programming languages and systems, Jg. 35 (2013), Heft 3Online academicJournalZugriff:
-
In: CADE-20 : automated deduction (Tallinn, 22-27 July 2005), 2005, S. 7-22KonferenzZugriff:
-
In: CSL 2005 : computer science logic (Oxford, 22-25 August 2005), 2005, S. 151-166KonferenzZugriff:
-
In: Proceedings of the 2004 ACM SIGPLAN: International Conference on Functional Programming (ICFP'04), Snowbird, Utah, USA, September 19-21, Jg. 39 (2004), Heft 9, S. 175-188KonferenzZugriff:
-
In: TPHOLs 2000 : theorem proving in higher order logics (Portland OR, 14-18 August 2000), 2000, S. 1-16KonferenzZugriff:
-
In: Theoretical computer science : exploring new frontiers of theoretical informatics (Sendai, 17-19 August 2000), 2000, S. 425-439KonferenzZugriff:
-
In: Advances in computing science - ASIAN'99 (Phuket,December 10-12 1999), 1999, S. 177-189KonferenzZugriff:
-
In: PLDI'07 Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design & Implementation, June 10-13, Jg. 42 (2007), Heft 6, S. 66-77KonferenzZugriff:
-
In: Functional and logic programming (8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006), 2006, S. 97-113KonferenzZugriff:
-
In: CADE-20 : automated deduction (Tallinn, 22-27 July 2005), 2005, S. 116-130KonferenzZugriff: