Theory and applications of satisfiability testing (vol. # 3542) / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

محفوظ في:

التفاصيل البيبلوغرافية
مؤلف مشترك:	SpringerLink (Online service)
مؤلفون آخرون:	Mitchell, David G., Hoos, Holger H.
التنسيق:	كتاب الكتروني
اللغة:	English
سلاسل:	Lecture Notes in Computer Science, 3542
الموضوعات:	Computer science Artificial intelligence Computer software Logic, Symbolic and mathematical Electronic data processing Operating systems (Computers)
الوصول للمادة أونلاين:	Click here to view the full text content
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

الوصف
وصف مادي:	1 online resource (262 pages) digital.
ردمك:	9783540315803 9783540278290
تدمد:	0302-9743 ;

مواد مشابهة