Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings

Berlin: Springer 2011

Erscheinungsjahr: 2011

ISBN/ISSN: 978-3-642-22437-9

Publikationstyp: Buch (Konferenzband)

Sprache: Englisch

Doi/URN: 10.1007/978-3-642-22438-6

Volltext über DOI/URN

GeprüftBibliothek

Inhaltszusammenfassung

  • AI logics
  • computer aided verification
  • formal methods
  • logical reasoning
  • model-based program analysis
  • term rewriting systems
  • termination

Autoren

Bjørner, Nikolaj (Herausgeber)
Sofronie-Stokkermans, Viorica (Herausgeber)

Verknüpfte Personen

Viorica Sofronie-Stokkermans
Viorica Sofronie-Stokkermans

Beteiligte Einrichtungen

Logo Institut für Informatik
Logo Formale Methoden und Theoretische Informatik