Back to Results
First PageMeta Content
Model theory / Group actions / First-order logic / Predicate logic / Function / Prenex normal form / FO / Emmy Noether / Constructible universe / Mathematics / Mathematical logic / Logic


Discovering State Invariants Fangzhen Lin Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong
Add to Reading List

Document Date: 2004-04-15 03:43:01

Open Document

File Size: 107,80 KB

Share Result on Facebook

City

Kowloon / /

Company

McDermott / /

/

Facility

Computer Science The Hong Kong University of Science / /

IndustryTerm

exhaustive search / search space / /

NaturalFeature

Technology Clear Water Bay / Bacchus Fall / /

Organization

Hong Kong University of Science and Technology Clear Water Bay / Discovering State Invariants Fangzhen Lin Department / American Association for Artificial IntelliCopyright / /

Technology

artificial intelligence / sorting algorithm / /

URL

www.aaai.org / /

SocialTag