Is er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie.
Title | Is er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie. |
Publication Type | Conference Paper |
Authors | Provijn, D |
UGent Biblio Link | http://hdl.handle.net/1854/LU-152576 |
---|---|
Download PDF | (Author PDF) |
UGent Biblio Link:
PDF author (public):