Original Title:
Unknown but not undefined?
Languages of Item:
English
Creator:
Heule, Dirk van
Hoogewijs, Albert
Main subject category:
Logic
Other subject categories:
Computer science
Keywords:
Partial Predicate Calculus, PPC, 3-valued logic, undefined
Notes:
Περιλαμβάνει περίληψη και βιβλιογραφικές αναφορές