A Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving

TitleA Diagrammatic Proof Search Procedure as Part of a Formal Approach to Problem Solving
Publication TypeBook Chapter (with title)
AuthorsBatens, D
Secondary AuthorsMagnani, L
Download PDF (Author PDF)
PDF author (public):