Back to Results
First PageMeta Content
Computer science / Logic in computer science / Formal methods / Artificial intelligence / Automated reasoning / Conference on Automated Deduction / International Joint Conference on Automated Reasoning / Theoretical computer science / Applied mathematics / Automated theorem proving


The IMPS Bibliography William M. Farmer∗ Joshua D. Guttman† Computing and Software
Add to Reading List

Document Date: 2012-03-27 15:38:49

Open Document

File Size: 55,42 KB

Share Result on Facebook

City

Washington / D.C. / Worcester / Bedford / /

Company

Symbolic Computation Systems / The MITRE Corporation / Naval Research Laboratory / CADE / /

Country

United States / /

/

Facility

Software McMaster University / Institute Road Worcester / Computer Science Worcester Polytechnic Institute / Yale University / McMaster University / /

IndustryTerm

mechanized mathematics systems / exploration tool / /

Organization

McMaster University / American Mathematical Society / Worcester Polytechnic Institute / Yale University / Canada Department / Computer Science Department / /

Person

J. D. Guttman / William M. Farmer∗ Joshua / D. M. Johnson / F. J. Thayer / M. Kerber / Joshua D. Guttman / M. E. Nadel / W. M. Farmer / O. Grigorov / M. Kohlhase / /

Position

editor / Farmer / editor / Design and Implementation / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Notices of the American Mathematical Society / Journal of Symbolic Computation / Electronic Notes in Theoretical Computer Science / Lecture Notes in Computer Science / /

Technology

virtual memory / /

URL

http /

SocialTag