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.
ISBN:	9783540315803 9783540278290
ISSN:	0302-9743 ;

Նմանատիպ նյութեր