Skip to main content
English
中文
Log In
Email address
Password
Log in
Log in with ORCID
NTU Single Sign On
New user? Click here to register.
Have you forgotten your password?
Communities & Collections
Research Outputs
Fundings & Projects
People
Organizations
Statistics
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Computer Science and Information Engineering / 資訊工程學系
Boolean rings for intersection-based satisfiability
Details
Export
Statistics
Options
Show all metadata (technical view)
Boolean rings for intersection-based satisfiability
Journal
Lecture Notes in Computer Science
Journal Volume
4246 LNAI
Pages
482-496
Date Issued
2006
Author(s)
Dershowitz, N.
Hsiang, J.
Huang, G.-S.
Kaiss, D.
JIEH HSIANG
URI
http://www.scopus.com/inward/record.url?eid=2-s2.0-33845199466&partnerID=MN8TOARS
http://scholars.lib.ntu.edu.tw/handle/123456789/323345
Type
book
