Symbolic Computation and Satisfiability Checking : Report of Dagstuhl Seminar 15471

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: 10.4230/DagRep.5.11.71

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
Universitätsbibliothek der RWTH Aachen
(wann)
2016
Urheber
Ábrahám, Erika
Fontaine, Pascal
Sturm, Thomas
Wang, Dongming
Beteiligte Personen und Organisationen
Ábrahám, Erika
Fontaine, Pascal
Sturm, Thomas
Wang, Dongming

URN
urn:nbn:de:0030-drops-57657
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:47 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Ábrahám, Erika
  • Fontaine, Pascal
  • Sturm, Thomas
  • Wang, Dongming
  • Universitätsbibliothek der RWTH Aachen

Entstanden

  • 2016

Ähnliche Objekte (12)

New Perspectives in Symbolic Computation and Satisfiability Checking

New Perspectives in Symbolic Computation and Satisfiability Checking

Challenges in symbolic computation software : 06271 abstracts collection ; Dagstuhl seminar

Challenges in symbolic computation software : 06271 abstracts collection ; Dagstuhl seminar

Executive summary / Dagstuhl Seminar "Challenges in Symbolic Computation Software" 2006

Konferenzschrift

Executive summary / Dagstuhl Seminar "Challenges in Symbolic Computation Software" 2006

Symbolic Causality Checking Using Bounded Model Checking

Symbolic Causality Checking Using Bounded Model Checking

Symbolic Causality Checking Using Bounded Model Checking

Symbolic Causality Checking Using Bounded Model Checking

Symbolic numeric computation

Symbolic numeric computation

Symbolic Causality Checking Using SAT-Solving

Symbolic Causality Checking Using SAT-Solving

Symbolic and algebraic computation : proceedings

Konferenzschrift | Kongress

Symbolic and algebraic computation : proceedings

Towards Symbolic Causality Checking using SAT-Solving

Towards Symbolic Causality Checking using SAT-Solving

Enhancing symbolic model checking by AI techniques

Enhancing symbolic model checking by AI techniques

Artificial intelligence and symbolic computation : proceedings

Konferenzschrift | Kongress

Artificial intelligence and symbolic computation : proceedings

Advances in Symbolic Probabilistic Model Checking with PRISM

Advances in Symbolic Probabilistic Model Checking with PRISM

Verbundene Objekte