Index Catalog // Digital WPI

Skip to Content

Home
Browse
About
Help

Explore, Discover, Share

Advanced search

Search Constraints

Start Over

Filtering by: Creator McDonald, Matthew Joseph Remove constraint Creator: McDonald, Matthew Joseph

1 - 2 of 2

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

Select an image to start the slideshow

Formal Verification of Boolean Unification Algorithms with Coq

1 of 2

Database Development and Management for Men on the Side of the Road Interactive Qualifying Project

2 of 2

Limit your search

Collections

Interactive Qualifying Projects1
Major Qualifying Projects1

Year

Year range begin – Year range end

Current results range from 2018 to 2019

View distribution

Creator

Antonatos, Spyridon1
McDonald, Matthew Joseph[remove]2
Poirier, Deanna Lemay1
Richardson, Dylan1
St. Pierre, Joseph Keenan1
more Creators »

Advisor

Dougherty, Daniel J.1
Sakulich, Aaron R.1
Smith, Alexander D.1

Project Center

Windhoek, Namibia Project Center - IQP1

Major

Computer Science1

Publisher

Worcester Polytechnic Institute2

Subject

Community1
Computing1
Culture1

Resource type

Interactive Qualifying Project1
Major Qualifying Project1

A service of Samvera.

Digital WPI v3.3.0

Login

Copyright © 2018 Samvera Licensed under the Apache License, Version 2.0