A Revision of Clausius Work on the Second Law. 4. On the Refutal of Clausius Proof.

José C. Iñiguez

Published in: Entropy (1999)

Keyphrases

belief revision
proof planning
revision operators
knowledge base
database
theorem proving
machine learning
artificial intelligence
image sequences
mathematical proofs
linear logic
theorem prover
optimal solution
computer vision
neural network
databases
real time