SAT 2019: Theory and applications of satisfiability testing, 22 conf., Lisbon, Portugal
Mikoláš Janota, Inês Lynceক্যাটাগোরিগুলো:
সাল:
2019
প্রকাশক:
Springer
ভাষা:
english
পৃষ্ঠা:
439
ISBN 10:
3030242587
ISBN 13:
9783030242589
বইয়ের সিরিজ:
Springer Lecture notes in computer science 11628
ফাইল:
PDF, 8.70 MB
IPFS:
,
english, 2019
কপিরাইট ধারকের অভিযোগের কারণে এই বইটির ডাউনলোড অনুপলব্ধ