Problem solving by searching for models with a theorem prover

Local TagsRelease HistoryDetailsSummary

Problem solving by searching for models with a theorem prover

Lee, S.-J., & Plaisted, D. A. (1994). Problem solving by searching for models with a theorem prover. Artificial Intelligence, 69(1/2), 205-233.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD9A-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD9B-0

Genre: Journal Article

show

show

hide

Creators:
Lee, Shie-Jue, Author
Plaisted, David A.¹, Author

Affiliations:
1Max Planck Society, ou_persistent13

show

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Date issued: 1994

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 519608
Other: Local-ID: C1256104005ECAFC-C7281635199260B6C125615E0067F1AA-lepl:94a

Degree: -

show

show

show

show

hide

Title: Artificial Intelligence

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 69 (1/2) Sequence Number: - Start / End Page: 205 - 233 Identifier: ISSN: 0004-3702