Satisfiability problem : theory and applications : DIMACS Workshop, March 11-13, 1996

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Providence, R.I. : American Mathematical Society , 1997
Omfang	XV, 724 s. : fig.
Emner	Computer algorithms - Congresses Computer science - Congresses Decision-making - Congresses Propositional calculus - Congresses
ISBN	0821804790

Biblioteksøk