Searching for authors named "Nicholas Merriam" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

Two Modelling Approaches Applied to User Interfaces to Theorem Proving Assistants
by Nicholas A. Merriam — 1996 — Proceedings of the 2 nd International Workshop on User Interface Design for Theorem Proving Systems: University of
…://www.cs.york.ac.uk/~nam/uitp96.html Nicholas A. Merriam Department of Computer Science University of York York, YO1 5DD U…
Cited by 3 (0 self) – Add To MetaCart

Evaluating the Interfaces of Three Theorem Proving Assistants
by Nicholas Merriam, Michael Harrison — 1996 — Proceedings of the 3rd International Eurographics Workshop on Design, Specification, and Verification of Interactive Systems, Eurographics Series
…Evaluating the Interfaces of Three Theorem Proving Assistants Nicholas A. Merriam and Michael D…
Cited by 3 (0 self) – Add To MetaCart

Modelling in Action
by Reports From, Robert E. Fields, Nicholas A. Merriam
…Modelling in Action Reports from the DSVIS '97 working groups Robert E. Fields Nicholas A. Merriam…
Add To MetaCart

Theorem Proving
by We Pose, Nicholas A. Merriam, Andrew M. Dearden, Michael D. Harrison — 1995 — University of Glasgow, UK
…, Department of Computer Science, Glasgow, UK Nicholas A. Merriam , Andrew M. Dearden, Michael D. Harrison…
Add To MetaCart

WCET TOOL CHALLENGE 2008: REPORT
by Niklas Holsti, Jan Gustafsson, Guillem Bernat (eds, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan
… , Albrecht Kadlec 5 , Raimund Kirner 5 , Jens Knoop 6 , Paul Lokuciejewski 7 , Nicholas Merriam 3…
Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB