Sign-In
Cart
Generating Test Templates via Automated Theorem Proving
Paperback
ISBN13: 9781288910892
Publisher: Biblioscholar
Published: Mar 12 2013
Pages: 96
Weight: 0.41
Height: 0.20 Width: 7.44 Depth: 9.69
Language: English
Also in
General Education
The College Scam: How America's Universities Are Bankrupting and Brainwashing Away the Future of America's Youth
Kirk, Charlie
Hardcover
Light Up the Learning Brain: 7 Keys to Reducing Disruptive Behavior in the Classroom
Sinarski, Jessica
Paperback
Original Sins: The (Mis)Education of Black and Native Children and the Construction of American Racism
Ewing, Eve L.
Hardcover
The Fundamental 5 Revisited: Exceptional Instruction In Every Setting
Ellspermann, Jayne
Laird, Mike
Cotten, Sherilynn
Paperback
The College Finder: Your comprehensive guide to finding colleges that fit YOUR unique path
Antonoff, Steven R.
McCann M. S., Jay
Paperback
The Total Money Makeover: Classic Edition: A Proven Plan for Financial Fitness
Ramsey, Dave
Hardcover
Financial Feminist: Overcome the Patriarchy's Bullsh*t to Master Your Money and Build a Life You Love
Dunlap, Tori
Hardcover
Lies My Teacher Told Me: Everything Your American History Textbook Got Wrong
Loewen, James W.
Paperback
Greek Myth Plays, Grades 3-5: 10 Readers Theater Scripts Based on Favorite Greek Myths That Students Can Read and Reread to Develop Their Fluency
Pugliano, Carol
Pugliano-Martin, Carol
Paperback
Beyond the Science of Reading: Connecting Literacy Instruction to the Science of Learning
Wexler, Natalie
Paperback
First Little Readers Parent Pack: Guided Reading Level a: 25 Irresistible Books That Are Just the Right Level for Beginning Readers
Schecter, Deborah
Charlesworth, Liza
Paperback
Mtss for Reading Improvement: A Leader's Tool Kit for Schoolwide Success (Reading Science in Action: An Mtss Tool Kit)
Brown, Sarah
Stollar, Stephanie
Paperback
The Writing Revolution 2.0: A Guide to Advancing Thinking Through Writing in All Subjects and Grades
Wexler, Natalie
Hochman, Judith C.
Paperback
Scholastic Success with Reading Comprehension Grade 4 Workbook
Scholastic Teaching Resources
Paperback
Unearthing Joy: A Guide to Culturally and Historically Responsive Curriculum and Instruction
Muhammad, Gholdy
Paperback
Teach Like a Champion 3.0: 63 Techniques That Put Students on the Path to College
Lemov, Doug
Paperback
The Golden Thread: A History of the Western Tradition, Volume I: The Ancient World and Christendom
Hankins, James
Guelzo, Allen C.
Hardcover
Spark Brilliance for Educators: Ignite, Engage, and Transform Your Classroom
Insinger, Jackie
White, Monica
Paperback
The Best 391 Colleges, 2026: In-Depth Profiles & Ranking Lists to Help Find the Right College for You
Soto, David
The Princeton Review
Franek, Robert
Paperback
Now That's a Good Question!: How to Promote Cognitive Rigor Through Classroom Questioning
Francis, Erik M.
Paperback
The Fallacy Detective: Thirty-Eight Lessons on How to Recognize Bad Reasoning
Bluedorn, Nathaniel
Bluedorn, Hans
Paperback
The Coddling of the American Mind: How Good Intentions and Bad Ideas Are Setting Up a Generation for Failure
Lukianoff, Greg
Haidt, Jonathan
Paperback
Teach Like a Pirate: Increase Student Engagement, Boost Your Creativity, and Transform Your Life as an Educator
Burgess, Dave
Paperback
Scholastic Success with Reading Comprehension Grade 2 Workbook
Scholastic Teaching Resources
Paperback
Learning by Doing: A Handbook for Professional Learning Communities at Work, Third Edition (a Practical Guide to Action for PLC Teams and Leadership)
Dufour, Rebecca
Dufour, Richard
Paperback
UDL Now!: A Teacher's Guide to Applying Universal Design for Learning in Today's Classrooms
Novak, Katie
Paperback
The Cherokees: A Captivating Guide to the History of a Native American Tribe, the Cherokee Removal, and the Trail of Tears
History, Captivating
Hardcover
Enhancing Professional Practice: The Framework for Teaching
Furman, Jim S.
Kappes, Lee
Danielson, Charlotte
Paperback
The Opposite of Cheating: Teaching for Integrity in the Age of AI Volume 4
Rettinger, David A.
Bertram Gallant, Tricia
Paperback
Miracle Children: Race, Education, and a True Story of False Promises
Benner, Katie
Green, Erica L.
Hardcover
Permission to Feel: The Power of Emotional Intelligence to Achieve Well-Being and Success
Brackett, Marc
Paperback
Rigor by Design, Not Chance: Deeper Thinking Through Actionable Instruction and Assessment
Hess, Karin
Paperback
Fostering Resilient Learners: Strategies for Creating a Trauma-Sensitive Classroom
Souers, Kristin
Hall, Pete
Paperback
AI for Educators: Learning Strategies, Teacher Efficiencies, and a Vision for an Artificial Intelligence Future
Miller, Matt
Paperback
Black People Invented Everything: The Deep History of Indigenous Creativity
Dass, Sujan Kumar
Paperback
Belonging Through a Culture of Dignity: The Keys to Successful Equity Implementation
Krownapple, John
Cobb, Floyd
Paperback
Hacking School Discipline: 9 Ways to Create a Culture of Empathy and Responsibility Using Restorative Justice
Weinstein, Brad
Maynard, Nathan
Paperback
Scholastic Success with Reading Comprehension Grade 3 Workbook
Scholastic Teaching Resources
Paperback
Making Words Stick: A Four-Step Instructional Routine to Power Up Orthographic Mapping
Ness, Molly
Miles, Katie Pace
Paperback
The Total Money Makeover Workbook: Classic Edition: The Essential Companion for Applying the Book's Principles
Ramsey, Dave
Paperback
Artificial Intelligence All-In-One for Dummies
Massaron, Luca
Minnick, Chris
Mueller, John Paul
Paperback
The Shift to Student-Led: Reimagining Classroom Workflows with UDL and Blended Learning
Tucker, Catlin
Novak, Katie
Paperback
Visual Thinking: The Hidden Gifts of People Who Think in Pictures, Patterns, and Abstractions
Grandin, Temple
Paperback
How to Take Smart Notes: One Simple Technique to Boost Writing, Learning and Thinking
Ahrens, Sönke
Paperback
Illuminating Care: The Pedagogy and Practice of Care in Early Childhood Communities
Garboden Murray, Carol
Paperback
Scholastic Success with Reading Comprehension Grade 5 Workbook
Scholastic Teaching Resources
Paperback
Elevating Educational Design with AI: Making Learning Accessible, Inclusive, and Equitable
Tucker, Catlin R.
Novak, Katie
Paperback
Math Fact Fluency: 60+ Games and Assessment Tools to Support Learning and Retention
Bay-Williams, Jennifer
Kling, Gina
Paperback
Math Practice Workbook Grades 6-8: 1000+ Questions You Need to Kill in Middle School by Brain Hunter Prep
Brain Hunter Prep
Paperback
The Fall of Affirmative Action: Race, the Supreme Court, and the Future of Higher Education
Driver, Justin
Paperback
Scholastic Success with Reading Comprehension Grade 1 Workbook
Scholastic Teaching Resources
Paperback
How to Be a Grown Up: The 14 Essential Skills You Didn't Know You Needed (Until Just Now)
Grinberg, Raffi
Hardcover
Getting from College to Career Third Edition: Your Essential Guide to Succeeding in the Real World
Pollak, Lindsey
Paperback
Joyful Learning: How to Find Freedom, Happiness, and Success Beyond Conventional Schooling
McDonald, Kerry
Hardcover
First Little Readers Parent Pack: Guided Reading Level B: 25 Irresistible Books That Are Just the Right Level for Beginning Readers
Schecter, Deborah
Charlesworth, Liza
Paperback
Help! My Kid Hates Writing: How to Turn Struggling Students Into Brave Writers
Bogart, Julie
Hardcover
Learning by Doing: A Handbook for Professional Learning Communities at Work(r) (a Practical Guide for Implementing the PLC Process and Transforming Sc
Eaker, Robert
Dufour, Richard
Dufour, Rebecca
Paperback
Better Than Carrots or Sticks: Restorative Practices for Positive Classroom Management
Fisher, Douglas
Frey, Nancy
Smith, Dominique
Paperback
Learn to Read Activity Book: 101 Fun Phonics Lessons to Teach Your Child to Read
Braun, Hannah
Paperback
Thriving with ADHD Workbook for Kids: 60 Fun Activities to Help Children Self-Regulate, Focus, and Succeed
Miller, Kelli
Paperback
Antiracism and Universal Design for Learning: Building Expressways to Success
Fritzgerald, Andratesha
Paperback
Culturally Responsive Teaching and the Brain: Promoting Authentic Engagement and Rigor Among Culturally and Linguistically Diverse Students
Hammond, Zaretta L.
Paperback
Mother in Heaven: A Gospel Topics Essay Study Guide
Krishna, McArthur
Carnicelli, Ashli
Caudle, Trina
Paperback
Learn & Retain Spanish with Spaced Repetition: 5,000+ Vocabulary, Grammar, & Audio Pronunciation with Anki
Adros Verse Education S R L
Paperback
Strive-For-Five Conversations: A Framework That Gets Kids Talking to Accelerate Their Language Comprehension and Literacy
Cabell, Sonia
Zucker, Tricia
Paperback
Transform Your Teaching with Universal Design for Learning: Six Steps to Jumpstart Your Practice
Pusateri, Jennifer L.
Paperback
7 Mighty Moves: Research-Backed, Classroom-Tested Strategies to Ensure K-To-3 Reading Success
Kemeny, Lindsay
Paperback
The Innovator's Mindset: Empower Learning, Unleash Talent, and Lead a Culture of Creativity
Couros, George
Paperback
The AI Infused Classroom: Inspiring Ideas to Shift Teaching and Maximize Meaningful Learning in the World of AI
Clark, Holly
Paperback
Reclaiming Youth at Risk: Futures of Promise (Reach Alienated Youth and Break the Conflict Cycle Using the Circle of Courage)
Van Bockern, Steve
Brendtro, Larry K.
Brokenleg, Martin
Paperback
Your FBA is a Fantasy!: A Guidebook to Creating Truly Trauma-Informed, Neuro-Affirming Functional Behavior Assessments & Behavior Support Plans
Bowman, Doris
Bowman, Rick
Paperback