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.

Borrow this resource

Item List

বিবরন Local Call Number বর্তমান অবস্থা
diss 1999 P-00059033 লভ্য

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