Leaning search control knowlledge for equational deduction View on Open Library

Leaning search control knowlledge for equational deduction

by Stephan Schulz

No reviews yet
First published: 2007 1 language ISBN: 3898382303
Subjects
Automatic theorem proving Heuristic programming

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Stephan Schulz

Introduction to TTCN-3

Introduction to TTCN-3

EWpG

EWpG

Kill the Billionaire, Baby!

Kill the Billionaire, Baby!

An introduction to TTCN-3

An introduction to TTCN-3

Organisationsformen der Arbeit im Gefängnis

Organisationsformen der Arbeit im Gefäng...

Die Proteoglykane des hyalinen Gelenkknorpels

Die Proteoglykane des hyalinen Gelenkkno...

You Might Also Like

More in Automatic theorem pr...
Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelli...

Moshe Y. Vardi
Logic for computer science

Logic for computer science

Jean H. Gallier
Logic Programming

Logic Programming

James H. Andrews
Certified Programming with Dependent Types

Certified Programming with Dependent Typ...

Adam Chlipala
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intell...

Ken McMillan
Automated practical reasoning

Automated practical reasoning

Dongming Wang