Matches in UGent Biblio for { <https://biblio.ugent.be/publication/290834#aggregation> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- aggregation classification "A2".
- aggregation creator person.
- aggregation creator person.
- aggregation date "2003".
- aggregation hasFormat 290834.bibtex.
- aggregation hasFormat 290834.csv.
- aggregation hasFormat 290834.dc.
- aggregation hasFormat 290834.didl.
- aggregation hasFormat 290834.doc.
- aggregation hasFormat 290834.json.
- aggregation hasFormat 290834.mets.
- aggregation hasFormat 290834.mods.
- aggregation hasFormat 290834.rdf.
- aggregation hasFormat 290834.ris.
- aggregation hasFormat 290834.txt.
- aggregation hasFormat 290834.xls.
- aggregation hasFormat 290834.yaml.
- aggregation isPartOf urn:issn:0024-5836.
- aggregation subject "Languages and Literatures".
- aggregation title "Pushing the Search Paths in the Proofs. A Study in Proof Heuristics".
- aggregation authorList BK376820.
- aggregation endPage "134".
- aggregation startPage "113".
- aggregation volume "173-174-175".
- aggregation isDescribedBy 290834.
- aggregation similarTo LU-290834.