subjectheading:[Automatic theorem proving] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Automatic theorem proving]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	Automated technology for verification and analysis : 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedings. Part I[...] ATVA (Symposium) (21st : 2023 : Singapore); André, Etienne, editor.; Sun, Jun (Prof[...] Cham : Springer, [2023] ©2023 QA76.9.A96 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Automated technology for verification and analysis : 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, proceedings / [...] ATVA (Symposium) (20th : 2022 : Beijing, China); Bouajjani, Ahmed, editor.; Holik, L[...] Cham : Springer, [2022] ©2022 QA76.9.A96 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, pr[...] ATVA (Symposium) (19th : 2021 : Online); Hou, Zhe (Lecturer), editor.; Ganesh, Vijay[...] Cham, Switzerland : Springer, 2021. QA76.9.A96 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Automated reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings / Jasmin Blanchette, Laura K[...] IJCAR (Conference) (11th : 2022 : Haifa, Israel); Blanchette, Jasmin, editor.; Ková[...] Cham, Switzerland : Springer, 2022. QA76.9.A96 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Automated deduction -- CADE 28 : 28th International Conference on Automated Deduction, virtual event, July 12-15, 2021, Proceedings / André Plat[...] International Conference on Automated Deduction (28th : 2021 : Online); Platzer, A[...] Cham, Switzerland : Springer, [2021] QA76.9.A96 I58 2021eb \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors. Special Session on Automatic Theorem Proving (1983 : Denver, Colo.), issuing bod[...] Providence, Rhode Island : American Mathematical Society, [1984] ©1984 QA76.9.A96 S64 1983 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Automated reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part II / Nicolas Peltier, Vio[...] IJCAR (Conference) (10th : 2020 : Online); Peltier, Nicolas.; Sofronie-Stokkermans, [...] Cham : Springer, 2020. QA76.9.A96 \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : [...] TABLEAUX (Conference) (28th : 2019 : London, England); Cerrito, Serenella, editor.; [...] Cham : Springer, [2019] ©2019 QA76.9.A96 T33 2019eb \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July[...] ITP (Conference) (9th : 2018 : Oxford, England); Avigad, Jeremy, editor.; Mahboubi, [...] Cham, Switzerland : Springer, 2018. QA76.9.A96 \| View e-resource \| Available Online \| Detailed record - Similar records
10.	Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings / Mauricio Ayala-Rinc[...] ITP (Conference) (8th : 2017 : Brasília, Brazil); Ayala-Rincón, M. (Mauricio), e[...] Cham, Switzerland : Springer, 2017. QA76.9.A96 \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.