Synthesis of Geometry Proof Problems

Alvin, Chris; Gulwani, Sumit; Majumdar, Rupak; Mukhopadhyay, Supratik

Local TagsRelease HistoryDetailsSummary

Synthesis of Geometry Proof Problems

Alvin, C., Gulwani, S., Majumdar, R., & Mukhopadhyay, S. (2014). Synthesis of Geometry Proof Problems. In AAAI'14 (pp. 245-252). New York, NY: ACM. Retrieved from http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8617/8427.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0026-AD27-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0026-AD28-A

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Alvin, Chris¹, Author
Gulwani, Sumit¹, Author
Majumdar, Rupak², Author
Mukhopadhyay, Supratik¹, Author

Affiliations:
1External Organizations, ou_persistent22
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2014Date issued: 2014

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: DBLP:conf/aaai/AlvinGMM14
URI: http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8617/8427

Degree: -

Event

show

hide

Title: Twenty-Eighth AAAI Conference on Artificial Intelligence

Place of Event: Québec City, Québec, Canada

Start-/End Date: 2014-07-27 - 2014-07-31

Legal Case

show

Project information

show

Source 1

show

hide

Title: AAAI'14

Subtitle : Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada

Abbreviation : AAAI 2014

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 245 - 252 Identifier: -