Basic Proof Skills of Computer Science Students.

Pieter H. Hartel Bert van Es Dick Tromp

Published in: FPLE (1995)

Keyphrases

computer science students
computer science
theorem prover
neural network
theorem proving
linear logic
machine learning
information systems