( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Computing Prime Implicants/Implicates for Regular Logics.

, и . ISMVL, стр. 115-123. IEEE Computer Society, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

James Neil

Katharine Neil

Henryk Neils

Mattis Neiling

Kathleen Murray

 

Другие публикации лиц с тем же именем

Avoiding Tests for Subsumption., и . AAAI, стр. 175-180. AAAI Press / The MIT Press, (1994)Signed Formulas and Annotated Logics., , и . ISMVL, стр. 48-53. IEEE Computer Society, (1993)On Deleting Links in Semantic Graphs., и . AAECC, том 229 из Lecture Notes in Computer Science, стр. 404-415. Springer, (1985)Prime Implicates and Reduced Implicate Tries., и . ISMIS, том 5722 из Lecture Notes in Computer Science, стр. 191-200. Springer, (2009)Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics., и . ISMIS, том 689 из Lecture Notes in Computer Science, стр. 275-284. Springer, (1993)Inference for Annotated Logics over Distributive Lattices., , , , и . ISMIS, том 2366 из Lecture Notes in Computer Science, стр. 285-293. Springer, (2002)Normal Forms for Knowledge Compilation., , и . ISMIS, том 3488 из Lecture Notes in Computer Science, стр. 304-313. Springer, (2005)A Foundation for Hybrid Knowledge Bases., , и . FSTTCS, том 1738 из Lecture Notes in Computer Science, стр. 155-167. Springer, (1999)The Logic of Time Structures: Temporal and Nonmonotonic Features., и . IJCAI, стр. 1285-1290. Morgan Kaufmann, (1989)Employing Path Dissolution to Shorten Tableaux Proofs., и . ISSAC, стр. 373-381. ACM, (1989)