Extending Sledgehammer with SMT Solvers: Special Issue on Selected Extended Papers of CADE-23

Extending Sledgehammer with SMT Solvers: Special Issue on Selected Extended Papers of CADE-23

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of automated reasoning 2013, Vol.51 (1), p.109-128
Hauptverfasser: BLANCHETTE, Jasmin Christian, BÖHME, Sascha, PAULSON, Lawrence C
Format: Artikel
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Computer systems performance. Reliability
Exact sciences and technology
Logic and foundations
Logical, boolean and switching functions
Mathematical logic, foundations, set theory
Mathematics
Proof theory and constructive mathematics
Sciences and techniques of general use
Software
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:
ISSN:0168-7433
1573-0670