Login / Signup

Ibn Sina on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic.

Wilfrid Hodges
Published in: Fields of Logic and Computation (2010)
Keyphrases
  • proof search
  • linear logic
  • genetic algorithm
  • cooperative
  • evolutionary algorithm
  • inference rules