MPTP 0.2: Design, Implementation, and Initial Experiments

Urban, Josef

doi:10.1007/s10817-006-9032-3

Record: found
Abstract: not found
Article: not found

MPTP 0.2: Design, Implementation, and Initial Experiments

Author(s): Josef Urban

Publication date (Print): November 25 2006

Journal: Journal of Automated Reasoning

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Related collections

Author and article information

Journal

Title: Journal of Automated Reasoning

Abbreviated Title: J Autom Reasoning

Publisher: Springer Nature

ISSN (Print): 0168-7433

ISSN (Electronic): 1573-0670

Publication date Created: January 17 2007

Publication date (Print): November 25 2006

Volume: 37

Issue: 1-2

Pages: 21-43

Article

DOI: 10.1007/s10817-006-9032-3

SO-VID: ee47bc11-ac38-4f19-94c5-e187141d4877

History

Data availability:

Comments

Comment on this article

Cited by 42

See all cited by

MPTP 0.2: Design, Implementation, and Initial Experiments

Read this article at

Abstract

Related collections

Digitizing Fabrication

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 3,084

Cited by 42