Matches in UGent Biblio for { <https://biblio.ugent.be/publication/111445#aggregation> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- aggregation classification "U".
- aggregation creator B8153.
- aggregation creator person.
- aggregation date "1999".
- aggregation hasFormat 111445.bibtex.
- aggregation hasFormat 111445.csv.
- aggregation hasFormat 111445.dc.
- aggregation hasFormat 111445.didl.
- aggregation hasFormat 111445.doc.
- aggregation hasFormat 111445.json.
- aggregation hasFormat 111445.mets.
- aggregation hasFormat 111445.mods.
- aggregation hasFormat 111445.rdf.
- aggregation hasFormat 111445.ris.
- aggregation hasFormat 111445.txt.
- aggregation hasFormat 111445.xls.
- aggregation hasFormat 111445.yaml.
- aggregation language "eng".
- aggregation subject "Science General".
- aggregation title "Tableaux in automated theorem proving: Isabelle and PPC.".
- aggregation authorList BK22049.
- aggregation endPage "152".
- aggregation startPage "151".
- aggregation volume "5".
- aggregation isDescribedBy 111445.
- aggregation similarTo LU-111445.