Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- automatic theorem proving 25 Treffer
- logic, symbolic and mathematical 20 Treffer
- itp 18 Treffer
- tphols 16 Treffer
- higher order logics 15 Treffer
-
16 weitere Werte:
- logics 4 Treffer
- coq 3 Treffer
- higher order logistics 3 Treffer
- charme 2 Treffer
- hardware design 2 Treffer
- computer algebra 1 Treffer
- crossover 1 Treffer
- ethereum virtual machine 1 Treffer
- formal methods 1 Treffer
- genetic algorithm 1 Treffer
- logic 1 Treffer
- optimization 1 Treffer
- program verification 1 Treffer
- smart contracts 1 Treffer
- specification 1 Treffer
- synchronous programming 1 Treffer
Verlag
Publikation
- computer aided systems theory - eurocast 2007 - 11th international conference on computer aided systems theory, revised selected papers 1 Treffer
- computer aided verification - 35th international conference, cav 2023, proceedings 1 Treffer
- intelligent computer mathematics - 10th international conference, aisc 2010, 17th symposium, calculemus 2010, and 9th international conference, mkm 2010, proceedings 1 Treffer
- theorem proving in higher order logics - 13th international conference, tphols 2000, proceedings 1 Treffer
Sprache
44 Treffer
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 499-514KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 258-274KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 209-225KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 193-208KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 275-291KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 226-241KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8558, S. 77-92KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 463-468KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 477-483KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 354-369KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 213-228KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 180-196KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2013, Heft 7998, S. 19-34KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7406, S. 315-331KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7406, S. 233-249KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7406, S. 67-82KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7406, S. 183-200KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2012, Heft 7406, S. 83-98KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2009, Heft 5674, S. 115-130KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2008, Heft 5170, S. 310-320KonferenzZugriff: