Automated and Human Proofs in General Mathematics: An Initial Comparison

Authors :: Bjørner, N.
Voronkov, A.
Alama, J.A.
Kühlwein, D.A.
Urban, J.
Bjørner, N.
Voronkov, A.
Alama, J.A.
Kühlwein, D.A.
Urban, J.
Source :: Bjørner, N.; Voronkov, A. (ed.), Logic for Programming, Artificial Intelligence, and Reasoning; 37; 45; 9783642287169; Lecture Notes in Computer Science ; 7180; Bjørner, N.; Voronkov, A. (ed.), Logic for Programming, Artificial Intelligence, and Reasoning~~37~45~~9783642287169~~~~Lecture Notes in Computer Science ; 7180~
Publication Year :: 2012
Abstract: Item does not contain fulltext

Database :: OAIster
Journal :: Bjørner, N.; Voronkov, A. (ed.), Logic for Programming, Artificial Intelligence, and Reasoning; 37; 45; 9783642287169; Lecture Notes in Computer Science ; 7180; Bjørner, N.; Voronkov, A. (ed.), Logic for Programming, Artificial Intelligence, and Reasoning~~37~45~~9783642287169~~~~Lecture Notes in Computer Science ; 7180~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1284085967
Document Type :: Electronic Resource