Automated theorem proving : after 25 years / W.W. Bledsoe and D.W. Loveland, editors. [electronic resource]

By:

Special Session on Automatic Theorem Proving (1983 : Denver, Colo.) [issuing body.]

Contributor(s):

Material type: Text

TextSeries: Contemporary mathematics (American Mathematical Society) ; volume 29.Publisher: Providence, Rhode Island : American Mathematical Society, [1984]Copyright date: ©1984Description: 1 online resource (371 pages) : illustrationsISBN:

9780821876145 (e-book)

Subject(s):

Automatic theorem proving -- Congresses

Genre/Form:

Electronic books.

Additional physical formats: Print version:: Automated theorem proving : after 25 years.DDC classification:

511.3 19

LOC classification:

QA76.9.A96 S64 1983

Online resources:

Click to View

Holdings ( 1 )
Title notes ( 4 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Ebook	TUS: Midlands, Main Library Athlone Online	eBook (Browse shelf(Opens below))	Available

"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--Title page verso.

Includes bibliographies.

Description based on print version record.

Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.