Search alternatives:
"doodling" » "dooling", "codling", "odling"
Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... -- TeMP: A Temporal Monodic Prover -- Dr.Doodle: A Diagrammatic Theorem Prover -- Computer Mathematics...”