Computational logic and proof theory
No description available.
Symbolic and mathematical LogicTheoremesTheorie de la PreuveKunstmatige intelligentieLogicaCongressesLogique symbolique et mathematiqueAutomatic theorem provingCongresDemonstration automatiqueComputer scienceArtificial intelligence