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.	First-order logic and automated theorem proving / Melvin Fitting. Fitting, Melvin, 1942- author. New York : Springer, [1996] ©1996 QA76.9.A96 F68 1996 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Concrete semantics [electronic resource] : with Isabelle/HOL / Tobias Nipkow, Gerwin Klein. Nipkow, Tobias, author.; Klein, Gerwin, author Cham : Springer, 2014 QA76.9.L63 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-tung Lee. Chang, Chin-Liang, 1937-; Lee, Richard Char-Tung, 1939- joint author. New York, Academic Press [1973] QA9 .C49 \| Map It \| Detailed record - Similar records
4.	Formal analysis of future energy systems using interactive theorem proving / Asad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki. Ahmed, Asad, author; Hasan, Osman, 1975- author.; Awwad, Falah, author; Bastaki, Nabil[...] Cham, Switzerland : Springer, ©2022. TK3105 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	Communication complexity : a new approach to circuit depth / Mauricio Karchmer. Karchmer, Mauricio. Cambridge, Mass. : MIT Press, ©1989. QA10.3 .K37 1989eb \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Numerical verification methods and computer-assisted proofs for partial differential equations / Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Wata[...] Nakao, Mitsuhiro T. author.; Plum, Michael, author.; Watanabe, Yoshitaka, author. Singapore : Springer, 2019. QA377 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Conditional and preferential logics [electronic resource] : proof methods and theorem proving / Gian Luca Pozzato. Pozzato, Gian Luca. Amsterdam : IOS Press, c2010. QA76.9.A96 P69 2010eb \| 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.