Establishing a Connection between Programming and Proof Writing.
Steve EarthPublished in: SIGCSE (2) (2022)
Keyphrases
- concurrent programming
- programming language
- high level language
- theorem prover
- data sets
- database
- case study
- object oriented
- information systems
- artificial intelligence
- programming environment
- word processing
- programming environments
- functional language
- students with learning disabilities
- information retrieval
- mathematical proofs