Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- exact sciences and technology 91 Treffer
- informatique 91 Treffer
- sciences exactes et technologie 91 Treffer
- applied sciences 89 Treffer
- computer science; control theory; systems 89 Treffer
-
45 weitere Werte:
- informatique; automatique theorique; systemes 89 Treffer
- sciences appliquees 89 Treffer
- informatique theorique 66 Treffer
- theoretical computing 66 Treffer
- program verification 45 Treffer
- verificacion programa 45 Treffer
- verification programme 45 Treffer
- demonstration theoreme 38 Treffer
- demostracion teorema 38 Treffer
- theorem proving 38 Treffer
- logiciel 32 Treffer
- software 32 Treffer
- mathematics 31 Treffer
- mathematiques 31 Treffer
- logical programming 25 Treffer
- programacion logica 25 Treffer
- programmation logique 25 Treffer
- programming theory 24 Treffer
- theorie programmation 24 Treffer
- theorie type 24 Treffer
- type theory 24 Treffer
- preuve programme 22 Treffer
- program proof 22 Treffer
- prueba programa 22 Treffer
- automatic proving 21 Treffer
- demonstration automatique 21 Treffer
- demostracion automatica 21 Treffer
- fonctions logiques, booleennes et de commutation 21 Treffer
- logical, boolean and switching functions 21 Treffer
- formal verification 18 Treffer
- general 18 Treffer
- generalites 18 Treffer
- verification formelle 18 Treffer
- proof theory 17 Treffer
- teoria demonstracion 17 Treffer
- theorie preuve 17 Treffer
- artificial intelligence 13 Treffer
- intelligence artificielle 13 Treffer
- sciences and techniques of general use 13 Treffer
- sciences et techniques communes 13 Treffer
- algorithmics. computability. computer arithmetics 12 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 12 Treffer
- especificacion formal 11 Treffer
- formal specification 11 Treffer
- specification formelle 11 Treffer
Verlag
Publikation
- tphols 2002 : theorem proving in higher order logics (hampton va, 20-23 august 2002) 8 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
- 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
-
44 weitere Werte:
- types 2003 : types for proofs and programs (torino, 30 april - 4 may 2003, revised selected papers) 4 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
- 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
- isss 2002 : software security - theories and systems (tokyo, 8-10 november 2002, revised papers) 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
- 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
- automata, languages and programming (prague, 11-15 july 1999) 1 Treffer
- automated reasoning (cork, 4-8 july 2004) 1 Treffer
- automated reasoning with analytic tableaux and related methods (saratoga springs ny, 7-11 june 1999) 1 Treffer
- computer aided systems theory - eurocast 2001 (las palmas de gran canaria, 19-23 february 2001, selected & revised papers ) 1 Treffer
- computer aided systems theory - eurocast 2005 (10th international conference on computer aided systems theory, las palmas de gran canaria, spain, february 7-11, 2005, revised selected papers) 1 Treffer
- computer aided systems theory : eurocast 2003 (las palmas de gran canaria, 24-28 february 2003, revised selected papers) 1 Treffer
- csl 2001 : computer science logic (paris, 10-13 september 2001) 1 Treffer
- csl 2005 : computer science logic (oxford, 22-25 august 2005) 1 Treffer
- fase 2004 : fundamental approaches to software engineering (barcelona, 29 march - 2 april 2004) 1 Treffer
- fm 2005 : formal methods (newcastle, 18-22 july 2005) 1 Treffer
- fm 2006 (formal methods) 1 Treffer
- formal methods and software engineering (singapore, 5-7 november 2003) 1 Treffer
- fossacs 2004 : foundations of software science and computation structures (barcelona, 29 march - 2 april 2004) 1 Treffer
- lpar 2001 : logic for programming, artificial intelligence, and reasoning (havana, 3-7 december 2001) 1 Treffer
- lpar 2003 : logic for programming artificial intelligence, and reasoning (almaty, 22-26 september 2003) 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
- parallel and distributed processing (cancun, 1-5 may 2000) 1 Treffer
- ppdp'99 : principles and practice of declarative programming (paris, 29 september - 1 october 1999) 1 Treffer
- rta 2004 : rewriting techniques and applications (aachen, 3-5 june 2004) 1 Treffer
- tacas 2000 : tools and algorithms for the construction and analysis of systems (berlin, 25 march - 2 april 2000) 1 Treffer
- tacs 2001 : theoretical aspects of computer software (sendai, 29-31 october 2001) 1 Treffer
- theoretical computer science (bertinoro, 13-15 october 2003) 1 Treffer
- theoretical computer science : exploring new frontiers of theoretical informatics (sendai, 17-19 august 2000) 1 Treffer
- types for proofs and programs (kloster irsee, 27-31 march 1998, selected papers) 1 Treffer
- vmcai 2002 : verification, model checking, and abstract interpretation (venice, 21-22 january 2002, revised papers) 1 Treffer
- zb 2002 : formal specification and development in z and b (grenoble, 23-25 january 2002) 1 Treffer
Sprache
104 Treffer
-
In: TYPES 2002 : types for proofs and programs (Berg en Dal, 24-28 April 2002, selected papers), 2003, S. 200-219KonferenzZugriff:
-
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: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8307, S. 50-65KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8307, S. 82-97KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 8307, S. 33-49KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7679, S. 289-304KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7560, S. 98-113KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2011, Heft 6785, S. 368-383KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2010, Heft 6247, S. 529-543KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5749, S. 287-303KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2007, Heft 4435, S. 105-119KonferenzZugriff:
-
In: TPHOLs 2005 : theorem proving in higher order logics (Oxford, 22-25 August 2005), 2005, S. 245-260KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, Jg. 2277 (2002), S. 79-95KonferenzZugriff:
-
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: