Nonlinear approaches to satisfiability problems : proefschrift /

সংরক্ষণ করুন:

গ্রন্থ-পঞ্জীর বিবরন
OCLC:	43439660
প্রধান লেখক:	Warners, Johannes Pieter
সংস্থা লেখক:	Technische Universiteit Eindhoven
ভাষা:	English
প্রকাশিত:	[Eindhoven : Technische Universiteit Eindhoven, 1999]
বিষয়গুলি:	Propositional calculus. Decision making. Computer algorithms. Computer science. Logic, Symbolic and mathematical. Artificial intelligence.
বিন্যাস:	গবেষণাপত্র Monograph Note that CRL will digitize material from the collection when copyright allows.

বিবরন
উপাদানের বিবরণ:	Contains summaries in English and Dutch. Vita.
দৈহিক বর্ননা:	158 p. : ill. ; 24 cm.
গ্রন্থ-পঞ্জী:	Includes bibliographical references (p. 145-154)
আইসবিএন:	9090129367

অনুরূপ উপাদানগুলি