ereprof. dr. Albert Hoogewijs 31 – 33 of 33 publications Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Filter publications Download search results Subscribe to news feed Add to list Journal Article A1 LL(1) descriptions for robots Albert Hoogewijs (UGent) (1997) ROBOTICA. p.105-110 Add to list Journal Article A2 Karnak, an automated theorem prover for PPC TM Elnadi and Albert Hoogewijs (UGent) (1995) Bull. Belg. Math. Soc.. p.541-572 Add to list Journal Article A4 DERIVE, een steun bij het wiskundeonderwijs? Albert Hoogewijs (UGent) (1992) WISKUNDE & ONDERWIJS. 18. p.205-222 ← Previous 1 2 3 4