Is er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie.

TitleIs er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie.
Publication TypeConference Paper
AuthorsProvijn, D
Download PDF (Author PDF)
PDF author (public):