| Shelfclass_id | 4.B.3 |
| Sortkey | FERMÜLLER, C |
| Authors | C. Fermüller, C FERMÜLLER, A. Leitsch, T. Tammet, N. Zamov |
| Title | Resolution Methods for the Decision Problem |
| Publisher | Springer Pub. Co. |
| Year | c1993 |
| Languages | eng |
| Isbn | 0387567321, 3540567321 |
| Series | Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Volume | 679 |
| Issn | 0302-9743 |
| Description | (Berlin: alk. paper) DM52.00 (New York: alk. paper) $39.00 viii, 205 p. 24 cm |
| Record date | 20060713 |
| Location | New York |
| Keywords | Artificial intelligence, Decision making |