Resolution methods for the decision problem /

Bibliographic Details
Other Authors: Fermüller, C. (Christian), 1963-
Format: Book
Language:English
Published: Berlin ; New York : Springer, [1993]
Series:Lecture notes in computer science ; 679.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:

MARC

Tag First Indicator Second Indicator Subfields
LEADER 00000cam a22000008a 4500
001 in00001144708
005 20151001050551.0
008 930709s1993 gw 001 0 eng
010 |a  93029010  
020 |a 3540567321 (Berlin : alk. paper) :  |c DM52.00 
020 |a 0387567321 (New York : alk. paper) :  |c $39.00 
035 |a (OCoLC)28508510 
035 |9 AGB6972AM 
040 |a DLC  |c DLC  |d RRR  |d TXA  |d UtOrBLW 
049 |a TXAM 
050 0 0 |a Q335  |b .R454 1993 
082 0 0 |a 006.3  |2 20 
245 0 0 |a Resolution methods for the decision problem /  |c C. Fermüller [and others]. 
263 |a 9308 
264 1 |a Berlin ;  |a New York :  |b Springer,  |c [1993] 
264 4 |c ©1993 
300 |a viii, 205 pages ;  |c 24 cm. 
336 |a text  |b txt  |2 rdacontent 
337 |a unmediated  |b n  |2 rdamedia 
338 |a volume  |b nc  |2 rdacarrier 
490 1 |a Lecture notes in computer science ;  |v 679 
490 1 |a Lecture notes in computer science. Lecture notes in artificial intelligence 
500 |a Includes index. 
504 |a Includes bibliographical references. 
650 0 |a Artificial intelligence  |x Mathematical models. 
650 0 |a Decision making  |x Mathematical models. 
700 1 |a Fermüller, C.  |q (Christian),  |d 1963- 
830 0 |a Lecture notes in computer science ;  |v 679. 
830 0 |a Lecture notes in computer science.  |p Lecture notes in artificial intelligence. 
999 |a MARS 
999 f f |s 0da0f433-4894-3878-82e4-8c5b954e5159  |i c7171f73-9f78-388a-9aa9-65d7883db5d1  |t 0 
952 f f |p ric  |a Texas A&M University  |b Rellis Campus  |c Joint Library Facility  |d Remote Storage  |t 0  |e Q335 .R454 1993  |h Library of Congress classification  |i unmediated -- volume  |m A14817589371 
998 f f |a Q335 .R454 1993  |t 0  |l Remote Storage