Search

Search Funnelback University

Search powered by Funnelback
1 - 1 of 1 search results for Manfred Bietak |u:www.cst.cam.ac.uk where 0 match all words and 1 match some words.
  1. Results that match 1 of 2 words

  2. Lawrence Charles Paulson FRSProfessor of Computational Logic,…

    https://www.cst.cam.ac.uk/sites/www.cst.cam.ac.uk/files/profile/lp15/vita.pdf
    4 Mar 2021: In: Manfred Broy (editor), Mathematical Methods in Pro-gram Development (Summer School Marktoberdorf 1996) (Springer, 1997), 461–498.

Refine your results

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.