Abstract
This articles is a structured bibliography on theorem provers, approaches to theorem proving, and theorem proving applications inspired from Satchmo, the model generation theorem prover developed in the mid 80es of the 20th century at ECRC, the European Computer- Industry Research Centre. Note that the bibliography given in this article is not exhaustive.
Dokumententyp: | Bibliographie |
---|---|
Fakultät: | Mathematik, Informatik und Statistik > Informatik |
Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
URN: | urn:nbn:de:bvb:19-epub-14895-9 |
Sprache: | Englisch |
Dokumenten ID: | 14895 |
Datum der Veröffentlichung auf Open Access LMU: | 19. Apr. 2013, 09:04 |
Letzte Änderungen: | 13. Aug. 2024, 12:51 |