Join Books.org — it's free
Home > Books > Generalization, Lemma Generation, and Induction in Acl2.

Science
Generalization, Lemma Generation, and Induction in Acl2. by John D. Erickson — book cover

Generalization, Lemma Generation, and Induction in Acl2.

by John D. Erickson
Write a review
Log in to track your reading progress.

Reviews

There are no reviews yet. Log in to write one.

Book Details

Published
September 1, 2011
Format
Paperback
ISBN
9781243512864

More by John D. Erickson

Dada
Dada
Top Ten Myths That Are Ruining America
Top Ten Myths That Are Ruining America

Similar books

The Living World
The Living World
Cardiovascular Solid Mechanics: Cells, Tissues, and Organs
Cardiovascular Solid Mechanics: Cells, Tissues, and Organs
Biosensors: Microelectrochemical Devices
Biosensors: Microelectrochemical Devices
100% Renewable: Energy Autonomy in Action
100% Renewable: Energy Autonomy in Action
Instabilities in Space and Laboratory Plasmas
Instabilities in Space and Laboratory Plasmas
The Physics of Vibrations and Waves
The Physics of Vibrations and Waves
Essential Microbiology
Essential Microbiology
Gene Expression and Regulation
Gene Expression and Regulation
Lehninger Principles of Biochemistry
Lehninger Principles of Biochemistry
The Philosophy of Biology: An Episodic History
The Philosophy of Biology: An Episodic History